Searched defs:usefulvars (Results 1 – 1 of 1) sorted by relevance
2908 SCIP_VAR**const usefulvars, /**< storage for all found variables */ in collectCliqueData()3059 SCIP_VAR**const usefulvars, /**< storage for all found variables */ in addCliqueDataEntry()3473 SCIP_VAR**const usefulvars, /**< storage for all found variables */ in checkForOverlapping()4336 SCIP_VAR**const usefulvars, /**< possible variables to lift */ in liftCliqueVariables()4907 …SCIP_VAR** usefulvars; /* array with pointers of variables in setpartitioning a… in preprocessCliques() local