| 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 |