spot
2.3.2
Main Page
Related Pages
Modules
Classes
Files
Class List
Class Index
Class Hierarchy
Class Members
All
Classes
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Modules
Pages
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_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 Wed Mar 15 2017 09:26:51 for spot by
1.8.8