Searched refs:nsimplebounds (Results 1 – 1 of 1) sorted by relevance
1702 …int nsimplebounds; /**< number of changed bounds resulting from infeasible … member1746 (*domreds)->nsimplebounds = 0; in domainReductionsCreate()2113 domainreductions->nsimplebounds++; in addLowerBound()2187 domainreductions->nsimplebounds++; in addUpperBound()2382 if( config->prefersimplebounds && domreds->nsimplebounds == 0 ) in applyDomainReductions()5216 if( config->prefersimplebounds && ndomreds > domainreductions->nsimplebounds ) in selectVarRecursive()5217 ndomreds = domainreductions->nsimplebounds; in selectVarRecursive()