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_plus() | spot::fnode | inlinestatic |
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 |