HashData Struct Reference Detailed Descriptiondata object to compare constraint easier Definition at line 87 of file presol_gateextraction.c.
Field Documentation
pointer the the corresponding constraint Definition at line 89 of file presol_gateextraction.c. Referenced by extractGates().
constraint variables used for hash comparison Definition at line 90 of file presol_gateextraction.c. Referenced by cleanupHashDatas(), and extractGates().
number of variables Definition at line 91 of file presol_gateextraction.c. Referenced by extractGates(). |