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