spot
2.5.2
spot
fnode
spot::fnode Member List
This is the complete list of members for
spot::fnode
, including all inherited members.
accepts_eword
() const
spot::fnode
inline
all_but
(unsigned i) const
spot::fnode
ap
(const std::string &name)
spot::fnode
static
ap_name
() const
spot::fnode
begin
() const
spot::fnode
inline
binop
(op o, const fnode *f, const fnode *g)
spot::fnode
static
boolean_count
() const
spot::fnode
inline
boolean_operands
(unsigned *width=nullptr) const
spot::fnode
bunop
(op o, const fnode *f, uint8_t min, uint8_t max=unbounded())
spot::fnode
static
clone
() const
spot::fnode
inline
destroy
() const
spot::fnode
inline
dump
(std::ostream &os) const
spot::fnode
end
() const
spot::fnode
inline
eword
()
spot::fnode
inline
static
ff
()
spot::fnode
inline
static
get_child_of
(op o) const
spot::fnode
inline
get_child_of
(std::initializer_list< op > l) const
spot::fnode
inline
has_lbt_atomic_props
() const
spot::fnode
inline
has_spin_atomic_props
() const
spot::fnode
inline
id
() const
spot::fnode
inline
instances_check
()
spot::fnode
static
is
(op o) const
spot::fnode
inline
is
(op o1, op o2) const
spot::fnode
inline
is
(std::initializer_list< op > l) const
spot::fnode
inline
is_
(defined in
spot::fnode
)
spot::fnode
is_boolean
() const
spot::fnode
inline
is_constant
() const
spot::fnode
inline
is_eventual
() const
spot::fnode
inline
is_eword
() const
spot::fnode
inline
is_ff
() const
spot::fnode
inline
is_finite
() const
spot::fnode
inline
is_in_nenoform
() const
spot::fnode
inline
is_Kleene_star
() const
spot::fnode
inline
is_leaf
() const
spot::fnode
inline
is_ltl_formula
() const
spot::fnode
inline
is_marked
() const
spot::fnode
inline
is_psl_formula
() const
spot::fnode
inline
is_sere_formula
() const
spot::fnode
inline
is_sugar_free_boolean
() const
spot::fnode
inline
is_sugar_free_ltl
() const
spot::fnode
inline
is_syntactic_guarantee
() const
spot::fnode
inline
is_syntactic_obligation
() const
spot::fnode
inline
is_syntactic_persistence
() const
spot::fnode
inline
is_syntactic_recurrence
() const
spot::fnode
inline
is_syntactic_safety
() const
spot::fnode
inline
is_syntactic_stutter_invariant
() const
spot::fnode
inline
is_tt
() const
spot::fnode
inline
is_universal
() const
spot::fnode
inline
kind
() const
spot::fnode
inline
kindstr
() const
spot::fnode
max
() const
spot::fnode
inline
min
() const
spot::fnode
inline
multop
(op o, std::vector< const fnode *> l)
spot::fnode
static
nth
(unsigned i) const
spot::fnode
inline
one_star
()
spot::fnode
inline
static
props
(defined in
spot::fnode
)
spot::fnode
size
() const
spot::fnode
inline
tt
()
spot::fnode
inline
static
unbounded
()
spot::fnode
inline
static
unop
(op o, const fnode *f)
spot::fnode
static
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
1.8.13