|
spot
2.3.3.dev
|
This is the complete list of members for spot::formula, including all inherited members.
| accepts_eword() const | spot::formula | inline |
| all_but(unsigned i) const | spot::formula | inline |
| And(const std::vector< formula > &l) | spot::formula | inlinestatic |
| And(std::vector< formula > &&l) | spot::formula | inlinestatic |
| AndNLM(const std::vector< formula > &l) | spot::formula | inlinestatic |
| AndNLM(std::vector< formula > &&l) | spot::formula | inlinestatic |
| AndRat(const std::vector< formula > &l) | spot::formula | inlinestatic |
| AndRat(std::vector< formula > &&l) | spot::formula | inlinestatic |
| ap(const std::string &name) | spot::formula | inlinestatic |
| ap(const formula &a) | spot::formula | inlinestatic |
| ap_name() const | spot::formula | inline |
| begin() const | spot::formula | inline |
| binop(op o, const formula &f, const formula &g) | spot::formula | inlinestatic |
| binop(op o, const formula &f, formula &&g) | spot::formula | inlinestatic |
| binop(op o, formula &&f, const formula &g) | spot::formula | inlinestatic |
| binop(op o, formula &&f, formula &&g) | spot::formula | inlinestatic |
| boolean_count() const | spot::formula | inline |
| boolean_operands(unsigned *width=nullptr) const | spot::formula | inline |
| bunop(op o, const formula &f, uint8_t min=0U, uint8_t max=unbounded()) | spot::formula | inlinestatic |
| bunop(op o, formula &&f, uint8_t min=0U, uint8_t max=unbounded()) | spot::formula | inlinestatic |
| Closure(const formula &f) | spot::formula | inlinestatic |
| Closure(formula &&f) | spot::formula | inlinestatic |
| Concat(const std::vector< formula > &l) | spot::formula | inlinestatic |
| Concat(std::vector< formula > &&l) | spot::formula | inlinestatic |
| dump(std::ostream &os) const | spot::formula | inline |
| EConcat(const formula &f, const formula &g) | spot::formula | inlinestatic |
| EConcat(const formula &f, formula &&g) | spot::formula | inlinestatic |
| EConcat(formula &&f, const formula &g) | spot::formula | inlinestatic |
| EConcat(formula &&f, formula &&g) | spot::formula | inlinestatic |
| EConcatMarked(const formula &f, const formula &g) | spot::formula | inlinestatic |
| EConcatMarked(const formula &f, formula &&g) | spot::formula | inlinestatic |
| EConcatMarked(formula &&f, const formula &g) | spot::formula | inlinestatic |
| EConcatMarked(formula &&f, formula &&g) | spot::formula | inlinestatic |
| end() const | spot::formula | inline |
| Equiv(const formula &f, const formula &g) | spot::formula | inlinestatic |
| Equiv(const formula &f, formula &&g) | spot::formula | inlinestatic |
| Equiv(formula &&f, const formula &g) | spot::formula | inlinestatic |
| Equiv(formula &&f, formula &&g) | spot::formula | inlinestatic |
| eword() | spot::formula | inlinestatic |
| F(const formula &f) | spot::formula | inlinestatic |
| F(formula &&f) | spot::formula | inlinestatic |
| ff() | spot::formula | inlinestatic |
| formula(const fnode *f) noexcept | spot::formula | inlineexplicit |
| formula(std::nullptr_t) noexcept | spot::formula | inline |
| formula() noexcept | spot::formula | inline |
| formula(const formula &f) noexcept | spot::formula | inline |
| formula(formula &&f) noexcept | spot::formula | inline |
| FStar(const formula &f, uint8_t min=0U, uint8_t max=unbounded()) | spot::formula | inlinestatic |
| FStar(formula &&f, uint8_t min=0U, uint8_t max=unbounded()) | spot::formula | inlinestatic |
| Fusion(const std::vector< formula > &l) | spot::formula | inlinestatic |
| Fusion(std::vector< formula > &&l) | spot::formula | inlinestatic |
| G(const formula &f) | spot::formula | inlinestatic |
| G(formula &&f) | spot::formula | inlinestatic |
| get_child_of(op o) const | spot::formula | inline |
| get_child_of(std::initializer_list< op > l) const | spot::formula | inline |
| has_lbt_atomic_props() const | spot::formula | inline |
| has_spin_atomic_props() const | spot::formula | inline |
| id() const | spot::formula | inline |
| Implies(const formula &f, const formula &g) | spot::formula | inlinestatic |
| Implies(const formula &f, formula &&g) | spot::formula | inlinestatic |
| Implies(formula &&f, const formula &g) | spot::formula | inlinestatic |
| Implies(formula &&f, formula &&g) | spot::formula | inlinestatic |
| is(op o) const | spot::formula | inline |
| is(op o1, op o2) const | spot::formula | inline |
| is(std::initializer_list< op > l) const | spot::formula | inline |
| is_boolean() const | spot::formula | inline |
| is_constant() const | spot::formula | inline |
| is_eventual() const | spot::formula | inline |
| is_eword() const | spot::formula | inline |
| is_ff() const | spot::formula | inline |
| is_finite() const | spot::formula | inline |
| is_in_nenoform() const | spot::formula | inline |
| is_Kleene_star() const | spot::formula | inline |
| is_literal() | spot::formula | inline |
| is_ltl_formula() const | spot::formula | inline |
| is_marked() const | spot::formula | inline |
| is_psl_formula() const | spot::formula | inline |
| is_sere_formula() const | spot::formula | inline |
| is_sugar_free_boolean() const | spot::formula | inline |
| is_sugar_free_ltl() const | spot::formula | inline |
| is_syntactic_guarantee() const | spot::formula | inline |
| is_syntactic_obligation() const | spot::formula | inline |
| is_syntactic_persistence() const | spot::formula | inline |
| is_syntactic_recurrence() const | spot::formula | inline |
| is_syntactic_safety() const | spot::formula | inline |
| is_syntactic_stutter_invariant() const | spot::formula | inline |
| is_tt() const | spot::formula | inline |
| is_universal() const | spot::formula | inline |
| kind() const | spot::formula | inline |
| kindstr() const | spot::formula | inline |
| M(const formula &f, const formula &g) | spot::formula | inlinestatic |
| M(const formula &f, formula &&g) | spot::formula | inlinestatic |
| M(formula &&f, const formula &g) | spot::formula | inlinestatic |
| M(formula &&f, formula &&g) | spot::formula | inlinestatic |
| map(Trans trans) | spot::formula | inline |
| max() const | spot::formula | inline |
| min() const | spot::formula | inline |
| multop(op o, const std::vector< formula > &l) | spot::formula | inlinestatic |
| multop(op o, std::vector< formula > &&l) | spot::formula | inlinestatic |
| NegClosure(const formula &f) | spot::formula | inlinestatic |
| NegClosure(formula &&f) | spot::formula | inlinestatic |
| NegClosureMarked(const formula &f) | spot::formula | inlinestatic |
| NegClosureMarked(formula &&f) | spot::formula | inlinestatic |
| Not(const formula &f) | spot::formula | inlinestatic |
| Not(formula &&f) | spot::formula | inlinestatic |
| one_star() | spot::formula | inlinestatic |
| operator bool() const (defined in spot::formula) | spot::formula | inline |
| operator!=(const formula &other) const noexcept (defined in spot::formula) | spot::formula | inline |
| operator!=(std::nullptr_t) const noexcept (defined in spot::formula) | spot::formula | inline |
| operator<(const formula &other) const noexcept (defined in spot::formula) | spot::formula | inline |
| operator<=(const formula &other) const noexcept (defined in spot::formula) | spot::formula | inline |
| operator=(std::nullptr_t) | spot::formula | inline |
| operator=(const formula &f) (defined in spot::formula) | spot::formula | inline |
| operator=(formula &&f) noexcept (defined in spot::formula) | spot::formula | inline |
| operator==(const formula &other) const noexcept (defined in spot::formula) | spot::formula | inline |
| operator==(std::nullptr_t) const noexcept (defined in spot::formula) | spot::formula | inline |
| operator>(const formula &other) const noexcept (defined in spot::formula) | spot::formula | inline |
| operator>=(const formula &other) const noexcept (defined in spot::formula) | spot::formula | inline |
| operator[](unsigned i) const | spot::formula | inline |
| Or(const std::vector< formula > &l) | spot::formula | inlinestatic |
| Or(std::vector< formula > &&l) | spot::formula | inlinestatic |
| OrRat(const std::vector< formula > &l) | spot::formula | inlinestatic |
| OrRat(std::vector< formula > &&l) | spot::formula | inlinestatic |
| R(const formula &f, const formula &g) | spot::formula | inlinestatic |
| R(const formula &f, formula &&g) | spot::formula | inlinestatic |
| R(formula &&f, const formula &g) | spot::formula | inlinestatic |
| R(formula &&f, formula &&g) | spot::formula | inlinestatic |
| size() const | spot::formula | inline |
| Star(const formula &f, uint8_t min=0U, uint8_t max=unbounded()) | spot::formula | inlinestatic |
| Star(formula &&f, uint8_t min=0U, uint8_t max=unbounded()) | spot::formula | inlinestatic |
| sugar_equal(const formula &b, uint8_t min, uint8_t max) | spot::formula | static |
| sugar_goto(const formula &b, uint8_t min, uint8_t max) | spot::formula | static |
| to_node_() | spot::formula | inline |
| traverse(Func func) | spot::formula | inline |
| tt() | spot::formula | inlinestatic |
| U(const formula &f, const formula &g) | spot::formula | inlinestatic |
| U(const formula &f, formula &&g) | spot::formula | inlinestatic |
| U(formula &&f, const formula &g) | spot::formula | inlinestatic |
| U(formula &&f, formula &&g) | spot::formula | inlinestatic |
| UConcat(const formula &f, const formula &g) | spot::formula | inlinestatic |
| UConcat(const formula &f, formula &&g) | spot::formula | inlinestatic |
| UConcat(formula &&f, const formula &g) | spot::formula | inlinestatic |
| UConcat(formula &&f, formula &&g) | spot::formula | inlinestatic |
| unbounded() | spot::formula | inlinestatic |
| unop(op o, const formula &f) | spot::formula | inlinestatic |
| unop(op o, formula &&f) | spot::formula | inlinestatic |
| W(const formula &f, const formula &g) | spot::formula | inlinestatic |
| W(const formula &f, formula &&g) | spot::formula | inlinestatic |
| W(formula &&f, const formula &g) | spot::formula | inlinestatic |
| W(formula &&f, formula &&g) | spot::formula | inlinestatic |
| X(const formula &f) | spot::formula | inlinestatic |
| X(formula &&f) | spot::formula | inlinestatic |
| Xor(const formula &f, const formula &g) | spot::formula | inlinestatic |
| Xor(const formula &f, formula &&g) | spot::formula | inlinestatic |
| Xor(formula &&f, const formula &g) | spot::formula | inlinestatic |
| Xor(formula &&f, formula &&g) | spot::formula | inlinestatic |
| ~formula() | spot::formula | inline |
1.8.13