Searched refs:nvlbvars (Results 1 – 1 of 1) sorted by relevance
9667 int nvlbvars; in varAddTransitiveImplic() local9670 nvlbvars = SCIPvboundsGetNVbds(implvar->vlbs); in varAddTransitiveImplic()9681 i = nvlbvars-1; in varAddTransitiveImplic()9724 nvlbvars = SCIPvboundsGetNVbds(implvar->vlbs); in varAddTransitiveImplic()9725 i = MIN(i, nvlbvars); /* some elements from the array could have been removed */ in varAddTransitiveImplic()