subinst.h File Reference

Defines
#define	OUTER_FIXPOINT   1
#define	ITER_FIXPOINT   2
#define	SCHED_ANSWERS   3
#define	SIMPL_REMOVE_DE   7
#define	SIMPL_REMOVE_DL   8
#define	NEW_ANSWER_SIMPL_POS_UNS   11
#define	NEW_ANSWER_SIMPL_POS_UNC   12
#define	NEW_ANSWER_SIMPL_NEG_FAIL   13
#define	NEW_ANSWER_SIMPL_NEG_SUC   14
Variables
Cell	subinst_table [256][2]

---

Define Documentation

#define ITER_FIXPOINT   2

#define NEW_ANSWER_SIMPL_NEG_FAIL   13

#define NEW_ANSWER_SIMPL_NEG_SUC   14

#define NEW_ANSWER_SIMPL_POS_UNC   12

#define NEW_ANSWER_SIMPL_POS_UNS   11

#define OUTER_FIXPOINT   1

#define SCHED_ANSWERS   3

#define SIMPL_REMOVE_DE   7

#define SIMPL_REMOVE_DL   8

---

Variable Documentation

Cell subinst_table[256][2]

---