ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Msat_OrderVar_t_ Struct Reference

Public Attributes

Msat_OrderVar_t * pNext
 
Msat_OrderVar_t * pPrev
 
int Num
 

Detailed Description

Definition at line 40 of file msatOrderJ.c.

Member Data Documentation

◆ Num

int Msat_OrderVar_t_::Num

Definition at line 44 of file msatOrderJ.c.

◆ pNext

Msat_OrderVar_t* Msat_OrderVar_t_::pNext

Definition at line 42 of file msatOrderJ.c.

◆ pPrev

Msat_OrderVar_t* Msat_OrderVar_t_::pPrev

Definition at line 43 of file msatOrderJ.c.


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