Searched defs:is_ltl_formula (Results 1 – 4 of 4) sorted by relevance
427 bool is_ltl_formula() const in is_ltl_formula() function in spot::fnode
297 is_ltl_formula = _swig_new_instance_method(_impl.formula_is_ltl_formula) variable in formula