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

all_but(unsigned i) const	spot::formula	inline
ap(const std::string &name)	spot::formula	inlinestatic
ap(const formula &a)	spot::formula	inlinestatic
ap_from_apid(unsigned id)	spot::formula	static
ap_name() const	spot::formula	inline
apid() const	spot::formula	inline
apid_count() noexcept	spot::formula	static
apid_map()	spot::formula	static
apname_from_apid(unsigned id)	spot::formula	static
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
dump(std::ostream &os) const	spot::formula	inline
end() const	spot::formula	inline
eword()	spot::formula	inlinestatic
F(unsigned min_level, unsigned max_level, const 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
formula_ptr_less_than_bool_first (defined in spot::formula)	spot::formula	friend
G(unsigned min_level, unsigned max_level, const 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
id() const	spot::formula	inline
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_constant() const	spot::formula	inline
is_eword() const	spot::formula	inline
is_ff() const	spot::formula	inline
is_Kleene_star() const	spot::formula	inline
is_leaf() const	spot::formula	inline
is_literal() const	spot::formula	inline
is_tt() const	spot::formula	inline
is_valid_apid(unsigned id) noexcept	spot::formula	static
kind() const	spot::formula	inline
kindstr() const	spot::formula	inline
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
multop(op o, const formula &f, const formula &g)	spot::formula	inlinestatic
multop(op o, const formula &f, formula &&g)	spot::formula	inlinestatic
multop(op o, formula &&f, const formula &g)	spot::formula	inlinestatic
multop(op o, formula &&f, formula &&g)	spot::formula	inlinestatic
nested_unop_range(op uo, op bo, unsigned min, unsigned max, formula f)	spot::formula	inlinestatic
one_plus()	spot::formula	inlinestatic
one_star()	spot::formula	inlinestatic
operator bool() const noexcept	spot::formula	inlineexplicit
operator!=(const formula &other) const noexcept	spot::formula	inline
operator!=(std::nullptr_t) const noexcept	spot::formula	inline
operator<(const formula &other) const noexcept	spot::formula	inline
operator<=(const formula &other) const noexcept	spot::formula	inline
operator=(std::nullptr_t)	spot::formula	inline
operator=(const formula &f)	spot::formula	inline
operator=(formula &&f) noexcept	spot::formula	inline
operator==(const formula &other) const noexcept	spot::formula	inline
operator==(std::nullptr_t) const noexcept	spot::formula	inline
operator>(const formula &other) const noexcept	spot::formula	inline
operator>=(const formula &other) const noexcept	spot::formula	inline
operator[](unsigned i) const	spot::formula	inline
quantify(op quantifier, formula &&ap, formula &&f)	spot::formula	inlinestatic
quantify(op quantifier, const formula &ap, const formula &f)	spot::formula	inlinestatic
quantify(op quantifier, const std::vector< formula > &aps, const formula &f)	spot::formula	inlinestatic
quantify(op quantifier, std::vector< formula > &&aps, const formula &f)	spot::formula	inlinestatic
report_message(const char *message)	spot::formula	static
size() const	spot::formula	inline
SPOT_DEF_BINOP(Xor)	spot::formula
SPOT_DEF_BINOP(Implies)	spot::formula
SPOT_DEF_BINOP(Equiv)	spot::formula
SPOT_DEF_BINOP(U)	spot::formula
SPOT_DEF_BINOP(R)	spot::formula
SPOT_DEF_BINOP(W)	spot::formula
SPOT_DEF_BINOP(M)	spot::formula
SPOT_DEF_BINOP(EConcat)	spot::formula
SPOT_DEF_BINOP(EConcatMarked)	spot::formula
SPOT_DEF_BINOP(UConcat)	spot::formula
SPOT_DEF_BUNOP(Star)	spot::formula
SPOT_DEF_BUNOP(FStar)	spot::formula
SPOT_DEF_MULTOP(OrRat)	spot::formula
SPOT_DEF_MULTOP(AndRat)	spot::formula
SPOT_DEF_MULTOP(AndNLM)	spot::formula
SPOT_DEF_MULTOP(Concat)	spot::formula
SPOT_DEF_MULTOP(Fusion)	spot::formula
SPOT_DEF_MULTOP2(Or)	spot::formula
SPOT_DEF_MULTOP2(And)	spot::formula
SPOT_DEF_PROP(is_boolean)	spot::formula
SPOT_DEF_PROP(is_sugar_free_boolean)	spot::formula
SPOT_DEF_PROP(is_in_nenoform)	spot::formula
SPOT_DEF_PROP(is_syntactic_stutter_invariant)	spot::formula
SPOT_DEF_PROP(is_sugar_free_ltl)	spot::formula
SPOT_DEF_PROP(is_ltl_formula)	spot::formula
SPOT_DEF_PROP(is_psl_formula)	spot::formula
SPOT_DEF_PROP(is_sere_formula)	spot::formula
SPOT_DEF_PROP(is_finite)	spot::formula
SPOT_DEF_PROP(is_eventual)	spot::formula
SPOT_DEF_PROP(is_universal)	spot::formula
SPOT_DEF_PROP(is_syntactic_safety)	spot::formula
SPOT_DEF_PROP(is_syntactic_guarantee)	spot::formula
SPOT_DEF_PROP(is_delta1)	spot::formula
SPOT_DEF_PROP(is_syntactic_obligation)	spot::formula
SPOT_DEF_PROP(is_sigma2)	spot::formula
SPOT_DEF_PROP(is_pi2)	spot::formula
SPOT_DEF_PROP(is_syntactic_recurrence)	spot::formula
SPOT_DEF_PROP(is_syntactic_persistence)	spot::formula
SPOT_DEF_PROP(is_delta2)	spot::formula
SPOT_DEF_PROP(is_marked)	spot::formula
SPOT_DEF_PROP(accepts_eword)	spot::formula
SPOT_DEF_PROP(has_lbt_atomic_props)	spot::formula
SPOT_DEF_PROP(has_spin_atomic_props)	spot::formula
SPOT_DEF_PROP(is_quantified)	spot::formula
SPOT_DEF_QUANTIFY(exists)	spot::formula
SPOT_DEF_QUANTIFY(forall)	spot::formula
SPOT_DEF_UNOP(Not)	spot::formula
SPOT_DEF_UNOP(X)	spot::formula
SPOT_DEF_UNOP(strong_X)	spot::formula
SPOT_DEF_UNOP(F)	spot::formula
SPOT_DEF_UNOP(G)	spot::formula
SPOT_DEF_UNOP(Closure)	spot::formula
SPOT_DEF_UNOP(NegClosure)	spot::formula
SPOT_DEF_UNOP(NegClosureMarked)	spot::formula
SPOT_DEF_UNOP(first_match)	spot::formula
strong_X(unsigned level, const formula &f)	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
throw_if_quantified(const char *message)	spot::formula	inline
to_node_()	spot::formula	inline
traverse(Func func, Args &&... args)	spot::formula	inline
tt()	spot::formula	inlinestatic
unbounded()	spot::formula	inlinestatic
unop(op o, const formula &f)	spot::formula	inlinestatic
unop(op o, formula &&f)	spot::formula	inlinestatic
X(unsigned level, const formula &f)	spot::formula	inlinestatic
~formula()	spot::formula	inline