Searched refs:Satisfies (Results 1 – 3 of 3) sorted by relevance
78 static constexpr bool Satisfies(RelationalOperator op, Ordering order) { in Satisfies() function93 static constexpr bool Satisfies(RelationalOperator op, Relation relation) { in Satisfies() function96 return Satisfies(op, Ordering::Less); in Satisfies()98 return Satisfies(op, Ordering::Equal); in Satisfies()100 return Satisfies(op, Ordering::Greater); in Satisfies()
134 Satisfies(relation.opr, folded->first.CompareSigned(folded->second)); in FoldOperation()136 result = Satisfies(relation.opr, folded->first.Compare(folded->second)); in FoldOperation()141 result = Satisfies(relation.opr, Compare(folded->first, folded->second)); in FoldOperation()
12399 The Specification Sometimes Satisfies the Verifier