spot  2.7
spot::formula Member List

This is the complete list of members for spot::formula, including all inherited members.

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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.8.13