abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Cnf_Cut_t_ Struct Reference

#include <cnf.h>

Data Fields

char nFanins
 
char Cost
 
short nWords
 
Vec_Int_tvIsop [2]
 
int pFanins [0]
 

Detailed Description

Definition at line 71 of file cnf.h.

Field Documentation

char Cnf_Cut_t_::Cost

Definition at line 74 of file cnf.h.

char Cnf_Cut_t_::nFanins

Definition at line 73 of file cnf.h.

short Cnf_Cut_t_::nWords

Definition at line 75 of file cnf.h.

int Cnf_Cut_t_::pFanins[0]

Definition at line 77 of file cnf.h.

Vec_Int_t* Cnf_Cut_t_::vIsop[2]

Definition at line 76 of file cnf.h.


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