#ifndef _CHECKPOLICY_H_
#define _CHECKPOLICY_H_

#include <sepol/ebitmap.h>

typedef struct te_assert { 
	ebitmap_t stypes;
	ebitmap_t ttypes;
	ebitmap_t tclasses;
        int self;
	access_vector_t *avp;
	unsigned long line;
	struct te_assert *next;
} te_assert_t;

te_assert_t *te_assertions;

extern unsigned int policyvers;

#endif