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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Thu Oct 1 2015 05:49:15 for spot by doxygen 1.8.8