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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Mon Feb 20 2017 07:08:26 for spot by doxygen 1.8.8