Rpo_Man_t_ Struct Reference

Data Fields
unsigned *	target
int	nVars
Literal_t **	literals
int	nLits
int	nLitsMax
Rpo_LCI_Edge_t *	lci
int	nLCIElems
int	thresholdMax

Detailed Description

Definition at line 40 of file rpo.c.

Field Documentation

Rpo_LCI_Edge_t* Rpo_Man_t_::lci

Definition at line 48 of file rpo.c.

Literal_t** Rpo_Man_t_::literals

Definition at line 44 of file rpo.c.

int Rpo_Man_t_::nLCIElems

Definition at line 49 of file rpo.c.

int Rpo_Man_t_::nLits

Definition at line 45 of file rpo.c.

int Rpo_Man_t_::nLitsMax

Definition at line 46 of file rpo.c.

int Rpo_Man_t_::nVars

Definition at line 42 of file rpo.c.

unsigned* Rpo_Man_t_::target

Definition at line 41 of file rpo.c.

int Rpo_Man_t_::thresholdMax

Definition at line 51 of file rpo.c.

---

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

• rpo.c