spot 2.2.2

- Main Page
- Related Pages
- Modules
- Classes
- Files

- Class List
- Class Index
- Class Hierarchy
- Class Members

All Classes Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
spot::fnode Member List

This is the complete list of members for spot::fnode, including all inherited members.

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, uint8_t min, uint8_t 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 | inline static
ff() | spot::fnode | inline static
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(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_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
nth(unsigned i) const | spot::fnode | inline
one_star() | spot::fnode | inline static
props (defined in spot::fnode) | spot::fnode |
size() const | spot::fnode | inline
tt() | spot::fnode | inline static
unbounded() | spot::fnode | inline static
unop(op o, const fnode *f) | spot::fnode | static

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.