Searched refs:StrictLessThan (Results 1 – 1 of 1) sorted by relevance
803 auto StrictLessThan = ConstraintSystem::toStrictLessThan(Coefficients); in isImpliedBy() local805 !StrictLessThan.empty() && CS.isConditionImplied(StrictLessThan); in isImpliedBy()