abc-master
|
Data Fields | |
Cut_Cell_t * | pNext |
Cut_Cell_t * | pNextVar |
Cut_Cell_t * | pParent |
int | nUsed |
char | Box [4] |
unsigned | nVars: 4 |
unsigned | CrossBar0: 4 |
unsigned | CrossBar1: 4 |
unsigned | CrossBarPhase: 2 |
unsigned | CanonPhase: 18 |
char | CanonPerm [CUT_CELL_MVAR+3] |
short | Store [2 *CUT_CELL_MVAR] |
unsigned | uTruth [1<<(CUT_CELL_MVAR-5)] |
Definition at line 35 of file cutPre22.c.
char Cut_Cell_t_::Box[4] |
Definition at line 41 of file cutPre22.c.
char Cut_Cell_t_::CanonPerm[CUT_CELL_MVAR+3] |
Definition at line 47 of file cutPre22.c.
unsigned Cut_Cell_t_::CanonPhase |
Definition at line 46 of file cutPre22.c.
unsigned Cut_Cell_t_::CrossBar0 |
Definition at line 43 of file cutPre22.c.
unsigned Cut_Cell_t_::CrossBar1 |
Definition at line 44 of file cutPre22.c.
unsigned Cut_Cell_t_::CrossBarPhase |
Definition at line 45 of file cutPre22.c.
int Cut_Cell_t_::nUsed |
Definition at line 40 of file cutPre22.c.
unsigned Cut_Cell_t_::nVars |
Definition at line 42 of file cutPre22.c.
Cut_Cell_t* Cut_Cell_t_::pNext |
Definition at line 37 of file cutPre22.c.
Cut_Cell_t* Cut_Cell_t_::pNextVar |
Definition at line 38 of file cutPre22.c.
Cut_Cell_t* Cut_Cell_t_::pParent |
Definition at line 39 of file cutPre22.c.
short Cut_Cell_t_::Store[2 *CUT_CELL_MVAR] |
Definition at line 48 of file cutPre22.c.
unsigned Cut_Cell_t_::uTruth[1<<(CUT_CELL_MVAR-5)] |
Definition at line 49 of file cutPre22.c.