Searched refs:linconsvarsmap (Results 1 – 1 of 1) sorted by relevance
3872 SCIP_HASHTABLE* linconsvarsmap; in copyConsPseudoboolean() local3901 …SCIP_CALL( SCIPhashtableCreate(&linconsvarsmap, SCIPblkmem(targetscip), ntargetlinvars, SCIPvarGet… in copyConsPseudoboolean()3906 SCIP_CALL( SCIPhashtableInsert(linconsvarsmap, targetlinvars[c]) ); in copyConsPseudoboolean()3932 if( !SCIPhashtableExists(linconsvarsmap, targetandresultant) ) in copyConsPseudoboolean()3954 SCIPhashtableFree(&linconsvarsmap); in copyConsPseudoboolean()