spot
1.99.3
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
ltl
binop
spot::ltl::binop Member List
This is the complete list of members for
spot::ltl::binop
, including all inherited members.
accept
(visitor &v) const override
spot::ltl::binop
virtual
accepts_eword
() const
spot::ltl::formula
inline
AtomicProp
enum value (defined in
spot::ltl::formula
)
spot::ltl::formula
BinOp
enum value (defined in
spot::ltl::formula
)
spot::ltl::formula
binop
(type op, const formula *first, const formula *second) (defined in
spot::ltl::binop
)
spot::ltl::binop
protected
BUnOp
enum value (defined in
spot::ltl::formula
)
spot::ltl::formula
clone
() const
spot::ltl::formula
inline
Constant
enum value (defined in
spot::ltl::formula
)
spot::ltl::formula
destroy
() const
spot::ltl::formula
inline
dump
() const override
spot::ltl::binop
virtual
dump_instances
(std::ostream &os)
spot::ltl::binop
static
EConcat
enum value
spot::ltl::binop
EConcatMarked
enum value
spot::ltl::binop
Equiv
enum value (defined in
spot::ltl::binop
)
spot::ltl::binop
first
() const
spot::ltl::binop
inline
formula
(opkind k) (defined in
spot::ltl::formula
)
spot::ltl::formula
inline
protected
get_props
() const
spot::ltl::formula
inline
has_lbt_atomic_props
() const (defined in
spot::ltl::formula
)
spot::ltl::formula
inline
has_spin_atomic_props
() const (defined in
spot::ltl::formula
)
spot::ltl::formula
inline
hash
() const
spot::ltl::formula
inline
Implies
enum value (defined in
spot::ltl::binop
)
spot::ltl::binop
instance
(type op, const formula *first, const formula *second)
spot::ltl::binop
static
instance_count
()
spot::ltl::binop
static
instances
(defined in
spot::ltl::binop
)
spot::ltl::binop
protected
static
is
(defined in
spot::ltl::formula
)
spot::ltl::formula
is_boolean
() const
spot::ltl::formula
inline
is_eventual
() const
spot::ltl::formula
inline
is_finite
() const
spot::ltl::formula
inline
is_in_nenoform
() const
spot::ltl::formula
inline
is_ltl_formula
() const
spot::ltl::formula
inline
is_marked
() const
spot::ltl::formula
inline
is_psl_formula
() const
spot::ltl::formula
inline
is_sere_formula
() const
spot::ltl::formula
inline
is_sugar_free_boolean
() const
spot::ltl::formula
inline
is_sugar_free_ltl
() const
spot::ltl::formula
inline
is_syntactic_guarantee
() const
spot::ltl::formula
inline
is_syntactic_obligation
() const
spot::ltl::formula
inline
is_syntactic_persistence
() const
spot::ltl::formula
inline
is_syntactic_recurrence
() const
spot::ltl::formula
inline
is_syntactic_safety
() const
spot::ltl::formula
inline
is_syntactic_stutter_invariant
() const
spot::ltl::formula
inline
is_universal
() const
spot::ltl::formula
inline
key
typedef (defined in
spot::ltl::binop
)
spot::ltl::binop
protected
kind
() const
spot::ltl::formula
inline
kind_
(defined in
spot::ltl::formula
)
spot::ltl::formula
protected
M
enum value
spot::ltl::binop
map
typedef (defined in
spot::ltl::binop
)
spot::ltl::binop
protected
max_serial
spot::ltl::formula
protected
static
MultOp
enum value (defined in
spot::ltl::formula
)
spot::ltl::formula
op
() const
spot::ltl::binop
inline
op_name
() const
spot::ltl::binop
opkind
enum name
spot::ltl::formula
props
(defined in
spot::ltl::formula
)
spot::ltl::formula
R
enum value
spot::ltl::binop
refs_
(defined in
spot::ltl::formula
)
spot::ltl::formula
mutable
protected
second
() const
spot::ltl::binop
inline
serial_
spot::ltl::formula
protected
type
enum name
spot::ltl::binop
U
enum value
spot::ltl::binop
UConcat
enum value
spot::ltl::binop
UnOp
enum value (defined in
spot::ltl::formula
)
spot::ltl::formula
W
enum value
spot::ltl::binop
Xor
enum value (defined in
spot::ltl::binop
)
spot::ltl::binop
~binop
() (defined in
spot::ltl::binop
)
spot::ltl::binop
protected
virtual
~formula
() (defined in
spot::ltl::formula
)
spot::ltl::formula
inline
protected
virtual
Please direct any
question
,
comment
, or
bug report
to the Spot mailing list at
spot@lrde.epita.fr
.
Generated on Wed Aug 26 2015 08:42:38 for spot by
1.8.8