spot  2.8.3
spot::fnode Member List

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

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