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	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, unsigned min=0U, unsigned max=unbounded())	spot::formula	inlinestatic
bunop(op o, formula &&f, unsigned min=0U, unsigned 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
F(unsigned min_level, unsigned max_level, const formula &f)	spot::formula	inlinestatic
ff()	spot::formula	inlinestatic
first_match(const formula &f)	spot::formula	inlinestatic
first_match(formula &&f)	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
formula_ptr_less_than_bool_first (defined in spot::formula)	spot::formula	friend
FStar(const formula &f, unsigned min=0U, unsigned max=unbounded())	spot::formula	inlinestatic
FStar(formula &&f, unsigned min=0U, unsigned max=unbounded())	spot::formula	inlinestatic
Fusion(const std::vector< formula > &l)	spot::formula	inlinestatic
Fusion(std::vector< formula > &&l)	spot::formula	inlinestatic
G(unsigned min_level, unsigned max_level, const formula &f)	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(op o1, op o2, op o3) const	spot::formula	inline
is(op o1, op o2, op o3, op o4) 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_leaf() const	spot::formula	inline
is_literal() const	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, Args &&... args)	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
nested_unop_range(op uo, op bo, unsigned min, unsigned max, formula f)	spot::formula	inlinestatic
Not(const formula &f)	spot::formula	inlinestatic
Not(formula &&f)	spot::formula	inlinestatic
one_plus()	spot::formula	inlinestatic
one_star()	spot::formula	inlinestatic
operator bool() const noexcept (defined in spot::formula)	spot::formula	inlineexplicit
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, unsigned min=0U, unsigned max=unbounded())	spot::formula	inlinestatic
Star(formula &&f, unsigned min=0U, unsigned max=unbounded())	spot::formula	inlinestatic
sugar_delay(const formula &a, const formula &b, unsigned min, unsigned max)	spot::formula	static
sugar_delay(const formula &b, unsigned min, unsigned max)	spot::formula	static
sugar_equal(const formula &b, unsigned min, unsigned max)	spot::formula	static
sugar_goto(const formula &b, unsigned min, unsigned max)	spot::formula	static
to_node_()	spot::formula	inline
traverse(Func func, Args &&... args)	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
X(unsigned level, const 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