spot  2.3.1
 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::formulainline
all_but(unsigned i) const spot::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() const spot::formulainline
begin() const spot::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() const spot::formulainline
boolean_operands(unsigned *width=nullptr) const spot::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) const spot::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() const spot::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
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(const formula &f)spot::formulainlinestatic
G(formula &&f)spot::formulainlinestatic
get_child_of(op o) const spot::formulainline
get_child_of(std::initializer_list< op > l) const spot::formulainline
has_lbt_atomic_props() const spot::formulainline
has_spin_atomic_props() const spot::formulainline
id() const spot::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) const spot::formulainline
is(op o1, op o2) const spot::formulainline
is(std::initializer_list< op > l) const spot::formulainline
is_boolean() const spot::formulainline
is_constant() const spot::formulainline
is_eventual() const spot::formulainline
is_eword() const spot::formulainline
is_ff() const spot::formulainline
is_finite() const spot::formulainline
is_in_nenoform() const spot::formulainline
is_Kleene_star() const spot::formulainline
is_literal()spot::formulainline
is_ltl_formula() const spot::formulainline
is_marked() const spot::formulainline
is_psl_formula() const spot::formulainline
is_sere_formula() const spot::formulainline
is_sugar_free_boolean() const spot::formulainline
is_sugar_free_ltl() const spot::formulainline
is_syntactic_guarantee() const spot::formulainline
is_syntactic_obligation() const spot::formulainline
is_syntactic_persistence() const spot::formulainline
is_syntactic_recurrence() const spot::formulainline
is_syntactic_safety() const spot::formulainline
is_syntactic_stutter_invariant() const spot::formulainline
is_tt() const spot::formulainline
is_universal() const spot::formulainline
kind() const spot::formulainline
kindstr() const spot::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)spot::formulainline
max() const spot::formulainline
min() const spot::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
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) const spot::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() const spot::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)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
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 Mon Feb 20 2017 07:08:26 for spot by doxygen 1.8.8