| accepts_eword() const | spot::fnode | inline |
| all_but(unsigned i) const | spot::fnode | |
| ap(const std::string &name) | spot::fnode | static |
| ap_name() const | spot::fnode | |
| begin() const | spot::fnode | inline |
| binop(op o, const fnode *f, const fnode *g) | spot::fnode | static |
| boolean_count() const | spot::fnode | inline |
| boolean_operands(unsigned *width=nullptr) const | spot::fnode | |
| bunop(op o, const fnode *f, unsigned min, unsigned max=unbounded()) | spot::fnode | static |
| clone() const | spot::fnode | inline |
| destroy() const | spot::fnode | inline |
| dump(std::ostream &os) const | spot::fnode | |
| end() const | spot::fnode | inline |
| eword() | spot::fnode | inlinestatic |
| ff() | spot::fnode | inlinestatic |
| get_child_of(op o) const | spot::fnode | inline |
| get_child_of(std::initializer_list< op > l) const | spot::fnode | inline |
| has_lbt_atomic_props() const | spot::fnode | inline |
| has_spin_atomic_props() const | spot::fnode | inline |
| id() const | spot::fnode | inline |
| instances_check() | spot::fnode | static |
| is(op o) const | spot::fnode | inline |
| is(op o1, op o2) const | spot::fnode | inline |
| is(op o1, op o2, op o3) const | spot::fnode | inline |
| is(op o1, op o2, op o3, op o4) const | spot::fnode | inline |
| is(std::initializer_list< op > l) const | spot::fnode | inline |
| is_ (defined in spot::fnode) | spot::fnode | |
| is_boolean() const | spot::fnode | inline |
| is_constant() const | spot::fnode | inline |
| is_eventual() const | spot::fnode | inline |
| is_eword() const | spot::fnode | inline |
| is_ff() const | spot::fnode | inline |
| is_finite() const | spot::fnode | inline |
| is_in_nenoform() const | spot::fnode | inline |
| is_Kleene_star() const | spot::fnode | inline |
| is_leaf() const | spot::fnode | inline |
| is_ltl_formula() const | spot::fnode | inline |
| is_marked() const | spot::fnode | inline |
| is_psl_formula() const | spot::fnode | inline |
| is_sere_formula() const | spot::fnode | inline |
| is_sugar_free_boolean() const | spot::fnode | inline |
| is_sugar_free_ltl() const | spot::fnode | inline |
| is_syntactic_guarantee() const | spot::fnode | inline |
| is_syntactic_obligation() const | spot::fnode | inline |
| is_syntactic_persistence() const | spot::fnode | inline |
| is_syntactic_recurrence() const | spot::fnode | inline |
| is_syntactic_safety() const | spot::fnode | inline |
| is_syntactic_stutter_invariant() const | spot::fnode | inline |
| is_tt() const | spot::fnode | inline |
| is_universal() const | spot::fnode | inline |
| kind() const | spot::fnode | inline |
| kindstr() const | spot::fnode | |
| max() const | spot::fnode | inline |
| min() const | spot::fnode | inline |
| multop(op o, std::vector< const fnode * > l) | spot::fnode | static |
| nested_unop_range(op uo, op bo, unsigned min, unsigned max, const fnode *f) | spot::fnode | static |
| nth(unsigned i) const | spot::fnode | inline |
| one_star() | spot::fnode | inlinestatic |
| props (defined in spot::fnode) | spot::fnode | |
| size() const | spot::fnode | inline |
| tt() | spot::fnode | inlinestatic |
| unbounded() | spot::fnode | inlinestatic |
| unop(op o, const fnode *f) | spot::fnode | static |
