ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Rpo_Man_t_ Struct Reference
Collaboration diagram for Rpo_Man_t_:
Collaboration graph
[legend]

Public Attributes

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.

Member Data Documentation

◆ lci

Rpo_LCI_Edge_t* Rpo_Man_t_::lci

Definition at line 48 of file rpo.c.

◆ literals

Literal_t** Rpo_Man_t_::literals

Definition at line 44 of file rpo.c.

◆ nLCIElems

int Rpo_Man_t_::nLCIElems

Definition at line 49 of file rpo.c.

◆ nLits

int Rpo_Man_t_::nLits

Definition at line 45 of file rpo.c.

◆ nLitsMax

int Rpo_Man_t_::nLitsMax

Definition at line 46 of file rpo.c.

◆ nVars

int Rpo_Man_t_::nVars

Definition at line 42 of file rpo.c.

◆ target

unsigned* Rpo_Man_t_::target

Definition at line 41 of file rpo.c.

◆ thresholdMax

int Rpo_Man_t_::thresholdMax

Definition at line 51 of file rpo.c.

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