spot 2.3.4

- Main Page
- Related Pages
- Modules
- Classes
- Files

- Class List
- Class Index
- Class Hierarchy
- Class Members

All Classes Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
spot::formula Member List

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 | inline static
And(std::vector< formula > &&l) | spot::formula | inline static
AndNLM(const std::vector< formula > &l) | spot::formula | inline static
AndNLM(std::vector< formula > &&l) | spot::formula | inline static
AndRat(const std::vector< formula > &l) | spot::formula | inline static
AndRat(std::vector< formula > &&l) | spot::formula | inline static
ap(const std::string &name) | spot::formula | inline static
ap(const formula &a) | spot::formula | inline static
ap_name() const | spot::formula | inline
begin() const | spot::formula | inline
binop(op o, const formula &f, const formula &g) | spot::formula | inline static
binop(op o, const formula &f, formula &&g) | spot::formula | inline static
binop(op o, formula &&f, const formula &g) | spot::formula | inline static
binop(op o, formula &&f, formula &&g) | spot::formula | inline static
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 | inline static
bunop(op o, formula &&f, uint8_t min=0U, uint8_t max=unbounded()) | spot::formula | inline static
Closure(const formula &f) | spot::formula | inline static
Closure(formula &&f) | spot::formula | inline static
Concat(const std::vector< formula > &l) | spot::formula | inline static
Concat(std::vector< formula > &&l) | spot::formula | inline static
dump(std::ostream &os) const | spot::formula | inline
EConcat(const formula &f, const formula &g) | spot::formula | inline static
EConcat(const formula &f, formula &&g) | spot::formula | inline static
EConcat(formula &&f, const formula &g) | spot::formula | inline static
EConcat(formula &&f, formula &&g) | spot::formula | inline static
EConcatMarked(const formula &f, const formula &g) | spot::formula | inline static
EConcatMarked(const formula &f, formula &&g) | spot::formula | inline static
EConcatMarked(formula &&f, const formula &g) | spot::formula | inline static
EConcatMarked(formula &&f, formula &&g) | spot::formula | inline static
end() const | spot::formula | inline
Equiv(const formula &f, const formula &g) | spot::formula | inline static
Equiv(const formula &f, formula &&g) | spot::formula | inline static
Equiv(formula &&f, const formula &g) | spot::formula | inline static
Equiv(formula &&f, formula &&g) | spot::formula | inline static
eword() | spot::formula | inline static
F(const formula &f) | spot::formula | inline static
F(formula &&f) | spot::formula | inline static
ff() | spot::formula | inline static
formula(const fnode *f) noexcept | spot::formula | inline explicit
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 | inline static
FStar(formula &&f, uint8_t min=0U, uint8_t max=unbounded()) | spot::formula | inline static
Fusion(const std::vector< formula > &l) | spot::formula | inline static
Fusion(std::vector< formula > &&l) | spot::formula | inline static
G(const formula &f) | spot::formula | inline static
G(formula &&f) | spot::formula | inline static
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 | inline static
Implies(const formula &f, formula &&g) | spot::formula | inline static
Implies(formula &&f, const formula &g) | spot::formula | inline static
Implies(formula &&f, formula &&g) | spot::formula | inline static
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 | inline static
M(const formula &f, formula &&g) | spot::formula | inline static
M(formula &&f, const formula &g) | spot::formula | inline static
M(formula &&f, formula &&g) | spot::formula | inline static
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 | inline static
multop(op o, std::vector< formula > &&l) | spot::formula | inline static
NegClosure(const formula &f) | spot::formula | inline static
NegClosure(formula &&f) | spot::formula | inline static
NegClosureMarked(const formula &f) | spot::formula | inline static
NegClosureMarked(formula &&f) | spot::formula | inline static
Not(const formula &f) | spot::formula | inline static
Not(formula &&f) | spot::formula | inline static
one_star() | spot::formula | inline static
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 | inline static
Or(std::vector< formula > &&l) | spot::formula | inline static
OrRat(const std::vector< formula > &l) | spot::formula | inline static
OrRat(std::vector< formula > &&l) | spot::formula | inline static
R(const formula &f, const formula &g) | spot::formula | inline static
R(const formula &f, formula &&g) | spot::formula | inline static
R(formula &&f, const formula &g) | spot::formula | inline static
R(formula &&f, formula &&g) | spot::formula | inline static
size() const | spot::formula | inline
Star(const formula &f, uint8_t min=0U, uint8_t max=unbounded()) | spot::formula | inline static
Star(formula &&f, uint8_t min=0U, uint8_t max=unbounded()) | spot::formula | inline static
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 | inline static
U(const formula &f, const formula &g) | spot::formula | inline static
U(const formula &f, formula &&g) | spot::formula | inline static
U(formula &&f, const formula &g) | spot::formula | inline static
U(formula &&f, formula &&g) | spot::formula | inline static
UConcat(const formula &f, const formula &g) | spot::formula | inline static
UConcat(const formula &f, formula &&g) | spot::formula | inline static
UConcat(formula &&f, const formula &g) | spot::formula | inline static
UConcat(formula &&f, formula &&g) | spot::formula | inline static
unbounded() | spot::formula | inline static
unop(op o, const formula &f) | spot::formula | inline static
unop(op o, formula &&f) | spot::formula | inline static
W(const formula &f, const formula &g) | spot::formula | inline static
W(const formula &f, formula &&g) | spot::formula | inline static
W(formula &&f, const formula &g) | spot::formula | inline static
W(formula &&f, formula &&g) | spot::formula | inline static
X(const formula &f) | spot::formula | inline static
X(formula &&f) | spot::formula | inline static
Xor(const formula &f, const formula &g) | spot::formula | inline static
Xor(const formula &f, formula &&g) | spot::formula | inline static
Xor(formula &&f, const formula &g) | spot::formula | inline static
Xor(formula &&f, formula &&g) | spot::formula | inline static
~formula() | spot::formula | inline

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.