spot
1.99.4
|
This is the complete list of members for spot::fnode, including all inherited members.
accepts_eword() const (defined in spot::fnode) | spot::fnode | inline |
all_but(unsigned i) const (defined in spot::fnode) | spot::fnode | |
ap(const std::string &name) (defined in spot::fnode) | spot::fnode | static |
ap_name() const (defined in spot::fnode) | spot::fnode | |
begin() const (defined in spot::fnode) | spot::fnode | inline |
binop(op o, const fnode *f, const fnode *g) (defined in spot::fnode) | spot::fnode | static |
boolean_count() const (defined in spot::fnode) | spot::fnode | inline |
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::fnode | static |
clone() const (defined in spot::fnode) | spot::fnode | inline |
destroy() const (defined in spot::fnode) | spot::fnode | inline |
dump(std::ostream &os) const (defined in spot::fnode) | spot::fnode | |
end() const (defined in spot::fnode) | spot::fnode | inline |
eword() (defined in spot::fnode) | spot::fnode | inlinestatic |
ff() (defined in spot::fnode) | spot::fnode | inlinestatic |
get_child_of(op o) const (defined in spot::fnode) | spot::fnode | inline |
get_child_of(std::initializer_list< op > l) const (defined in spot::fnode) | spot::fnode | inline |
has_lbt_atomic_props() const (defined in spot::fnode) | spot::fnode | inline |
has_spin_atomic_props() const (defined in spot::fnode) | spot::fnode | inline |
id() const (defined in spot::fnode) | spot::fnode | inline |
instances_check() | spot::fnode | static |
is(op o) const (defined in spot::fnode) | spot::fnode | inline |
is(op o1, op o2) const (defined in spot::fnode) | spot::fnode | inline |
is(std::initializer_list< op > l) const (defined in spot::fnode) | spot::fnode | inline |
is_ (defined in spot::fnode) | spot::fnode | |
is_boolean() const (defined in spot::fnode) | spot::fnode | inline |
is_constant() const (defined in spot::fnode) | spot::fnode | inline |
is_eventual() const (defined in spot::fnode) | spot::fnode | inline |
is_eword() const (defined in spot::fnode) | spot::fnode | inline |
is_ff() const (defined in spot::fnode) | spot::fnode | inline |
is_finite() const (defined in spot::fnode) | spot::fnode | inline |
is_in_nenoform() const (defined in spot::fnode) | spot::fnode | inline |
is_Kleene_star() const (defined in spot::fnode) | spot::fnode | inline |
is_ltl_formula() const (defined in spot::fnode) | spot::fnode | inline |
is_marked() const (defined in spot::fnode) | spot::fnode | inline |
is_psl_formula() const (defined in spot::fnode) | spot::fnode | inline |
is_sere_formula() const (defined in spot::fnode) | spot::fnode | inline |
is_sugar_free_boolean() const (defined in spot::fnode) | spot::fnode | inline |
is_sugar_free_ltl() const (defined in spot::fnode) | spot::fnode | inline |
is_syntactic_guarantee() const (defined in spot::fnode) | spot::fnode | inline |
is_syntactic_obligation() const (defined in spot::fnode) | spot::fnode | inline |
is_syntactic_persistence() const (defined in spot::fnode) | spot::fnode | inline |
is_syntactic_recurrence() const (defined in spot::fnode) | spot::fnode | inline |
is_syntactic_safety() const (defined in spot::fnode) | spot::fnode | inline |
is_syntactic_stutter_invariant() const (defined in spot::fnode) | spot::fnode | inline |
is_tt() const (defined in spot::fnode) | spot::fnode | inline |
is_universal() const (defined in spot::fnode) | spot::fnode | inline |
kind() const (defined in spot::fnode) | spot::fnode | inline |
kindstr() const (defined in spot::fnode) | spot::fnode | |
max() const (defined in spot::fnode) | spot::fnode | inline |
min() const (defined in spot::fnode) | spot::fnode | inline |
multop(op o, std::vector< const fnode * > l) (defined in spot::fnode) | spot::fnode | static |
nth(unsigned i) const (defined in spot::fnode) | spot::fnode | inline |
one_star() (defined in spot::fnode) | spot::fnode | inlinestatic |
props (defined in spot::fnode) | spot::fnode | |
size() const (defined in spot::fnode) | spot::fnode | inline |
tt() (defined in spot::fnode) | spot::fnode | inlinestatic |
unbounded() (defined in spot::fnode) | spot::fnode | inlinestatic |
unop(op o, const fnode *f) (defined in spot::fnode) | spot::fnode | static |