Searched refs:sere_formula (Results 1 – 6 of 6) sorted by relevance
1161 is_.sere_formula = true; in setup_props()1183 is_.sere_formula = true; in setup_props()1207 is_.sere_formula = true; in setup_props()1255 is_.sere_formula = false; in setup_props()1271 is_.sere_formula = false; in setup_props()1286 is_.sere_formula = false; in setup_props()1304 is_.sere_formula = false; in setup_props()1320 is_.sere_formula = false; in setup_props()1385 is_.sere_formula = false; in setup_props()1414 is_.sere_formula = false; in setup_props()[all …]
441 return is_.sere_formula; in is_sere_formula()614 bool sere_formula:1; // Only SERE operators. member
39766 src/ltlast/multop.cc, src/ltlast/unop.cc: Add a bit is.sere_formula