Tas_Var_t_ Struct Reference

Data Fields
unsigned	fTerm: 1
unsigned	fVal: 1
unsigned	fValOld: 1
unsigned	fAssign: 1
unsigned	fJQueue: 1
unsigned	fCompl0: 1
unsigned	fCompl1: 1
unsigned	fMark0: 1
unsigned	fMark1: 1
unsigned	fPhase: 1
unsigned	Level: 22
int	Id
int	IdAig
int	Reason0
int	Reason1
int	Diff0
int	Diff1
int	Watch0
int	Watch1

Detailed Description

Definition at line 62 of file giaCTas2.c.

Field Documentation

int Tas_Var_t_::Diff0

Definition at line 79 of file giaCTas2.c.

int Tas_Var_t_::Diff1

Definition at line 80 of file giaCTas2.c.

unsigned Tas_Var_t_::fAssign

Definition at line 67 of file giaCTas2.c.

unsigned Tas_Var_t_::fCompl0

Definition at line 69 of file giaCTas2.c.

unsigned Tas_Var_t_::fCompl1

Definition at line 70 of file giaCTas2.c.

unsigned Tas_Var_t_::fJQueue

Definition at line 68 of file giaCTas2.c.

unsigned Tas_Var_t_::fMark0

Definition at line 71 of file giaCTas2.c.

unsigned Tas_Var_t_::fMark1

Definition at line 72 of file giaCTas2.c.

unsigned Tas_Var_t_::fPhase

Definition at line 73 of file giaCTas2.c.

unsigned Tas_Var_t_::fTerm

Definition at line 64 of file giaCTas2.c.

unsigned Tas_Var_t_::fVal

Definition at line 65 of file giaCTas2.c.

unsigned Tas_Var_t_::fValOld

Definition at line 66 of file giaCTas2.c.

int Tas_Var_t_::Id

Definition at line 75 of file giaCTas2.c.

int Tas_Var_t_::IdAig

Definition at line 76 of file giaCTas2.c.

unsigned Tas_Var_t_::Level

Definition at line 74 of file giaCTas2.c.

int Tas_Var_t_::Reason0

Definition at line 77 of file giaCTas2.c.

int Tas_Var_t_::Reason1

Definition at line 78 of file giaCTas2.c.

int Tas_Var_t_::Watch0

Definition at line 81 of file giaCTas2.c.

int Tas_Var_t_::Watch1

Definition at line 82 of file giaCTas2.c.

---

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

• giaCTas2.c