Searched refs:hashmapvar (Results 1 – 1 of 1) sorted by relevance
829 SCIP_VAR* hashmapvar; in getLinVarsAndAndRess() local837 hashmapvar = SCIPvarGetNegationVar(vars[v]); in getLinVarsAndAndRess()841 hashmapvar = vars[v]; in getLinVarsAndAndRess()877 andress[*nandress] = hashmapvar; in getLinVarsAndAndRess()884 andnegs[*nandress] = (vars[v] != hashmapvar); in getLinVarsAndAndRess()3523 SCIP_VAR* hashmapvar; in checkOrigPbCons() local3531 hashmapvar = SCIPvarGetNegationVar(vars[v]); in checkOrigPbCons()3536 hashmapvar = vars[v]; in checkOrigPbCons()3539 assert(hashmapvar != NULL); in checkOrigPbCons()3541 if( !SCIPhashmapExists(conshdlrdata->hashmap, (void*)(hashmapvar)) ) in checkOrigPbCons()[all …]