abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Cut_Cell_t_ Struct Reference

Data Fields

Cut_Cell_tpNext
 
Cut_Cell_tpNextVar
 
Cut_Cell_tpParent
 
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)]
 

Detailed Description

Definition at line 35 of file cutPre22.c.

Field Documentation

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.


The documentation for this struct was generated from the following file: