Searched defs:nandconss (Results 1 – 2 of 2) sorted by relevance
1178 int const nandconss, /**< number of and-constraints */ in consdataCreate()2733 SCIP_RETCODE createAndAddAnds( in createAndAddAnds()9123 int nandconss, /**< number of associated and-constraints */ in SCIPcreateConsPseudobooleanWithConss()9445 int nandconss; in SCIPcreateConsPseudoboolean() local9850 …int*const nandconss /**< pointer to store the required array size for and-co… in SCIPgetAndDatasPseudoboolean()
1946 int nandconss; in computeAndConstraintInfos() local