Searched refs:workvar (Results 1 – 3 of 3) sorted by relevance
530 PHPVariable workvar = (PHPVariable) workList.get(i); in removeUnresolvedThisVar() local531 if (workvar.getName().equals("$this")) { in removeUnresolvedThisVar()532 String workval = ((PHPValue) workvar.getValue()).getValueString(); in removeUnresolvedThisVar()
7161 SCIP_VAR* workvar; in applyFixings() local7174 workvar = SCIPvarGetNegatedVar(repvar); in applyFixings()7175 assert(workvar != NULL); in applyFixings()7180 workvar = repvar; in applyFixings()7205 if( SCIPvarGetStatus(workvar) == SCIP_VARSTATUS_MULTAGGR ) in applyFixings()7213 SCIP_CALL( SCIPflattenVarAggregationGraph(scip, workvar) ); in applyFixings()7214 naggrvars = SCIPvarGetMultaggrNVars(workvar); in applyFixings()7215 aggrvars = SCIPvarGetMultaggrVars(workvar); in applyFixings()7216 aggrscalars = SCIPvarGetMultaggrScalars(workvar); in applyFixings()7217 aggrconst = SCIPvarGetMultaggrConstant(workvar); in applyFixings()
650 <property name="workvar" show="1">true</property>