ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Mop_Man_t_ Struct Reference

Public Attributes

int nIns
 
int nOuts
 
int nWordsIn
 
int nWordsOut
 
Vec_Wrd_t * vWordsIn
 
Vec_Wrd_t * vWordsOut
 
Vec_Int_t * vCubes
 
Vec_Int_t * vFree
 

Detailed Description

Definition at line 31 of file ioReadPlaMo.c.

Member Data Documentation

◆ nIns

int Mop_Man_t_::nIns

Definition at line 33 of file ioReadPlaMo.c.

◆ nOuts

int Mop_Man_t_::nOuts

Definition at line 34 of file ioReadPlaMo.c.

◆ nWordsIn

int Mop_Man_t_::nWordsIn

Definition at line 35 of file ioReadPlaMo.c.

◆ nWordsOut

int Mop_Man_t_::nWordsOut

Definition at line 36 of file ioReadPlaMo.c.

◆ vCubes

Vec_Int_t* Mop_Man_t_::vCubes

Definition at line 39 of file ioReadPlaMo.c.

◆ vFree

Vec_Int_t* Mop_Man_t_::vFree

Definition at line 40 of file ioReadPlaMo.c.

◆ vWordsIn

Vec_Wrd_t* Mop_Man_t_::vWordsIn

Definition at line 37 of file ioReadPlaMo.c.

◆ vWordsOut

Vec_Wrd_t* Mop_Man_t_::vWordsOut

Definition at line 38 of file ioReadPlaMo.c.

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