Collaboration diagram for Cut_Cell_t_:

Public Attributes
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)]

Detailed Description

Definition at line 35 of file cutPre22.c.

Member Data Documentation

◆ Box

char Cut_Cell_t_::Box[4]

Definition at line 41 of file cutPre22.c.

◆ CanonPerm

char Cut_Cell_t_::CanonPerm[CUT_CELL_MVAR+3]

Definition at line 47 of file cutPre22.c.

◆ CanonPhase

unsigned Cut_Cell_t_::CanonPhase

Definition at line 46 of file cutPre22.c.

◆ CrossBar0

unsigned Cut_Cell_t_::CrossBar0

Definition at line 43 of file cutPre22.c.

◆ CrossBar1

unsigned Cut_Cell_t_::CrossBar1

Definition at line 44 of file cutPre22.c.

◆ CrossBarPhase

unsigned Cut_Cell_t_::CrossBarPhase

Definition at line 45 of file cutPre22.c.

◆ nUsed

int Cut_Cell_t_::nUsed

Definition at line 40 of file cutPre22.c.

◆ nVars

unsigned Cut_Cell_t_::nVars

Definition at line 42 of file cutPre22.c.

◆ pNext

Cut_Cell_t* Cut_Cell_t_::pNext

Definition at line 37 of file cutPre22.c.

◆ pNextVar

Cut_Cell_t* Cut_Cell_t_::pNextVar

Definition at line 38 of file cutPre22.c.

◆ pParent

Cut_Cell_t* Cut_Cell_t_::pParent

Definition at line 39 of file cutPre22.c.

◆ Store

short Cut_Cell_t_::Store[2 *CUT_CELL_MVAR]

Definition at line 48 of file cutPre22.c.

◆ uTruth

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:

src/opt/cut/cutPre22.c

Public Attributes