Searched defs:is_non_equevalent_transition (Results 1 – 1 of 1) sorted by relevance
1744 bool is_non_equevalent_transition() const { return false; } in TEST() function1779 bool is_non_equevalent_transition() const { return false; } in TEST() function1802 bool is_non_equevalent_transition() const { return true; } in TEST() function1836 bool is_non_equevalent_transition() const { return true; } in TEST() function1870 bool is_non_equevalent_transition() const { return true; } in TEST() function1915 bool is_non_equevalent_transition() const { return true; } in TEST() function