Searched refs:sugar_free_ltl (Results 1 – 4 of 4) sorted by relevance
1158 is_.sugar_free_ltl = true; in setup_props()1180 is_.sugar_free_ltl = true; in setup_props()1204 is_.sugar_free_ltl = true; in setup_props()1273 is_.sugar_free_ltl = false; in setup_props()1288 is_.sugar_free_ltl = false; in setup_props()
423 return is_.sugar_free_ltl; in is_sugar_free_ltl()611 bool sugar_free_ltl:1; // No F and G operators. member