accept(visitor &v) const | spot::ltl::bunop | virtual |
accepts_eword() const | spot::ltl::formula | inline |
AtomicProp enum value (defined in spot::ltl::formula) | spot::ltl::formula | |
AutomatOp enum value (defined in spot::ltl::formula) | spot::ltl::formula | |
BinOp enum value (defined in spot::ltl::formula) | spot::ltl::formula | |
bunop(type op, const formula *child, unsigned min, unsigned max) (defined in spot::ltl::bunop) | spot::ltl::bunop | protected |
BUnOp enum value (defined in spot::ltl::formula) | spot::ltl::formula | |
child() const | spot::ltl::bunop | inline |
clone() const | spot::ltl::formula | |
Constant enum value (defined in spot::ltl::formula) | spot::ltl::formula | |
count_ | spot::ltl::formula | protected |
destroy() const | spot::ltl::formula | |
dump() const | spot::ltl::bunop | virtual |
dump_instances(std::ostream &os) | spot::ltl::bunop | static |
format() const | spot::ltl::bunop | |
formula(opkind k) (defined in spot::ltl::formula) | spot::ltl::formula | inlineprotected |
get_props() const | spot::ltl::formula | inline |
has_lbt_atomic_props() const (defined in spot::ltl::formula) | spot::ltl::formula | inline |
hash() const | spot::ltl::formula | inline |
instance(type op, const formula *child, unsigned min=0, unsigned max=unbounded) | spot::ltl::bunop | static |
instance_count() | spot::ltl::bunop | static |
instances (defined in spot::ltl::bunop) | spot::ltl::bunop | protectedstatic |
is (defined in spot::ltl::formula) | spot::ltl::formula | |
is_boolean() const | spot::ltl::formula | inline |
is_eltl_formula() const | spot::ltl::formula | inline |
is_eventual() const | spot::ltl::formula | inline |
is_finite() const | spot::ltl::formula | inline |
is_in_nenoform() const | spot::ltl::formula | inline |
is_ltl_formula() const | spot::ltl::formula | inline |
is_marked() const | spot::ltl::formula | inline |
is_psl_formula() const | spot::ltl::formula | inline |
is_sere_formula() const | spot::ltl::formula | inline |
is_sugar_free_boolean() const | spot::ltl::formula | inline |
is_sugar_free_ltl() const | spot::ltl::formula | inline |
is_syntactic_guarantee() const | spot::ltl::formula | inline |
is_syntactic_obligation() const | spot::ltl::formula | inline |
is_syntactic_persistence() const | spot::ltl::formula | inline |
is_syntactic_recurrence() const | spot::ltl::formula | inline |
is_syntactic_safety() const | spot::ltl::formula | inline |
is_universal() const | spot::ltl::formula | inline |
is_X_free() const | spot::ltl::formula | inline |
kind() const | spot::ltl::formula | inline |
map typedef (defined in spot::ltl::bunop) | spot::ltl::bunop | protected |
max() const | spot::ltl::bunop | inline |
min() const | spot::ltl::bunop | inline |
MultOp enum value (defined in spot::ltl::formula) | spot::ltl::formula | |
one_star() | spot::ltl::bunop | inlinestatic |
op() const | spot::ltl::bunop | inline |
op_name() const | spot::ltl::bunop | |
opkind enum name | spot::ltl::formula | |
pair typedef (defined in spot::ltl::bunop) | spot::ltl::bunop | protected |
pairo typedef (defined in spot::ltl::bunop) | spot::ltl::bunop | protected |
pairu typedef (defined in spot::ltl::bunop) | spot::ltl::bunop | protected |
props (defined in spot::ltl::formula) | spot::ltl::formula | |
ref_() const | spot::ltl::ref_formula | protectedvirtual |
ref_count_() const | spot::ltl::ref_formula | protected |
ref_formula(opkind k) (defined in spot::ltl::ref_formula) | spot::ltl::ref_formula | protected |
Star enum value (defined in spot::ltl::bunop) | spot::ltl::bunop | |
sugar_equal(const formula *child, unsigned min=0, unsigned max=unbounded) | spot::ltl::bunop | static |
sugar_goto(const formula *child, unsigned min=1, unsigned max=unbounded) | spot::ltl::bunop | static |
type enum name (defined in spot::ltl::bunop) | spot::ltl::bunop | |
unbounded (defined in spot::ltl::bunop) | spot::ltl::bunop | static |
UnOp enum value (defined in spot::ltl::formula) | spot::ltl::formula | |
unref_() const | spot::ltl::ref_formula | protectedvirtual |
~bunop() (defined in spot::ltl::bunop) | spot::ltl::bunop | protectedvirtual |
~formula() (defined in spot::ltl::formula) | spot::ltl::formula | protectedvirtual |
~ref_formula() (defined in spot::ltl::ref_formula) | spot::ltl::ref_formula | protectedvirtual |