#ifndef _CHECKPOLICY_H_
#define _CHECKPOLICY_H_
#include <sepol/policydb/ebitmap.h>
typedef struct te_assert {
ebitmap_t stypes;
ebitmap_t ttypes;
ebitmap_t tclasses;
int self;
sepol_access_vector_t *avp;
unsigned long line;
struct te_assert *next;
} te_assert_t;
te_assert_t *te_assertions;
extern unsigned int policyvers;
#endif