Searched defs:nconsanddatas (Results 1 – 1 of 1) sorted by relevance
184 int nconsanddatas; /**< number of and-constraints-data-objects */ member1415 int nconsanddatas; in consdataFree() local4254 int nconsanddatas; in correctLocksAndCaptures() local5050 int nconsanddatas; in updateAndConss() local5385 int nconsanddatas; in updateConsanddataUses() local5582 int const nconsanddatas, /**< number of all consanddata objects */ in checkSolution()5753 int nconsanddatas; in tryUpgradingXor() local6043 int nconsanddatas; in tryUpgradingLogicor() local6555 int nconsanddatas; in tryUpgradingSetppc() local7132 int nconsanddatas; in findAggregation() local