Searched refs:thencons (Results 1 – 3 of 3) sorted by relevance
281 : Constraint(_name, _redundant), ifvar(_ifvar), ifvalue(_ifvalue), thencons(_thencons) in IndicatorConstraint()289 delete thencons; in ~IndicatorConstraint()298 return thencons->check(tolerance); in check()308 thencons->violation(viol); in violation()314 thencons->print(out); in print()
318 Constraint* thencons; variable
901 Constraint* thencons = model->getCons(f2); in readIndicators() local902 assert( thencons != NULL ); in readIndicators()909 model->pushCons(new IndicatorConstraint(f2, ifvar, ifval == one, thencons)); in readIndicators()