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