Searched refs:CheckOperatorOrdering (Results 1 – 1 of 1) sorted by relevance
1057 void CheckOperatorOrdering(const Model& model) { in CheckOperatorOrdering() function1203 CheckOperatorOrdering(model); in CheckInvariants()