abc-master
|
Data Fields | |
int | nInps |
int | nObjs |
Ifn_Obj_t | Nodes [2 *IFN_INS] |
int | pConstr [IFN_INS] |
int | nConstr |
int | nVars |
int | nWords |
int | nParsVNum |
int | nParsVIni |
int | nPars |
word * | pTruth |
int | Values [IFN_PAR] |
word | pTtElems [IFN_INS *IFN_WRD] |
word | pTtObjs [2 *IFN_INS *IFN_WRD] |