Searched refs:cons0vars (Results 1 – 1 of 1) sorted by relevance
5098 cons0vars = consdata->vars; in preprocessCliques()5115 var0 = cons0vars[v]; in preprocessCliques()5151 cons0vars = consdata->vars; in preprocessCliques()5155 SCIPsortDownPtr((void**)cons0vars, SCIPvarCompActiveAndNegated, ncons0vars); in preprocessCliques()5211 if( SCIPvarGetLbLocal(cons0vars[v]) < 0.5 && SCIPvarGetUbLocal(cons0vars[v]) > 0.5 ) in preprocessCliques()5214 …assert(SCIPvarIsActive(cons0vars[v]) || (SCIPvarGetStatus(cons0vars[v]) == SCIP_VARSTATUS_NEGATED … in preprocessCliques()5215 SCIPvarIsActive(SCIPvarGetNegationVar(cons0vars[v])))); in preprocessCliques()5216 cliquevalues[v] = SCIPvarIsActive(cons0vars[v]) ? TRUE : FALSE; in preprocessCliques()5243 cons0vars = consdata->vars; in preprocessCliques()5249 SCIPsortDownPtr((void**)cons0vars, SCIPvarCompActiveAndNegated, ncons0vars); in preprocessCliques()[all …]