Searched defs:IsConditionImplied (Results 1 – 2 of 2) sorted by relevance
83 TEST(ConstraintSolverTest, IsConditionImplied) { in TEST() argument
787 bool IsConditionImplied = CS.isConditionImplied(Coefficients); isImpliedBy() local