spot
1.2.4
Main Page
Related Pages
Modules
Namespaces
Classes
Files
Class List
Class Index
Class Hierarchy
Class Members
All
Classes
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Groups
Pages
spot
ltl
multop
spot::ltl::multop Member List
This is the complete list of members for
spot::ltl::multop
, including all inherited members.
accept
(visitor &v) const
spot::ltl::multop
virtual
accepts_eword
() const
spot::ltl::formula
inline
all_but
(unsigned n) const
spot::ltl::multop
And
enum value (defined in
spot::ltl::multop
)
spot::ltl::multop
AndNLM
enum value (defined in
spot::ltl::multop
)
spot::ltl::multop
AndRat
enum value (defined in
spot::ltl::multop
)
spot::ltl::multop
AtomicProp
enum value (defined in
spot::ltl::formula
)
spot::ltl::formula
AutomatOp
enum value (defined in
spot::ltl::formula
)
spot::ltl::formula
BinOp
enum value (defined in
spot::ltl::formula
)
spot::ltl::formula
boolean_count
() const
spot::ltl::multop
boolean_operands
(unsigned *width=0) const
spot::ltl::multop
BUnOp
enum value (defined in
spot::ltl::formula
)
spot::ltl::formula
clone
() const
spot::ltl::formula
Concat
enum value (defined in
spot::ltl::multop
)
spot::ltl::multop
Constant
enum value (defined in
spot::ltl::formula
)
spot::ltl::formula
count_
spot::ltl::formula
protected
destroy
() const
spot::ltl::formula
dump
() const
spot::ltl::multop
virtual
dump_instances
(std::ostream &os)
spot::ltl::multop
static
formula
(opkind k) (defined in
spot::ltl::formula
)
spot::ltl::formula
inline
protected
Fusion
enum value (defined in
spot::ltl::multop
)
spot::ltl::multop
get_props
() const
spot::ltl::formula
inline
has_lbt_atomic_props
() const (defined in
spot::ltl::formula
)
spot::ltl::formula
inline
hash
() const
spot::ltl::formula
inline
instance
(type op, const formula *first, const formula *second)
spot::ltl::multop
static
instance
(type op, vec *v)
spot::ltl::multop
static
instance_count
()
spot::ltl::multop
static
instances
(defined in
spot::ltl::multop
)
spot::ltl::multop
protected
static
is
(defined in
spot::ltl::formula
)
spot::ltl::formula
is_boolean
() const
spot::ltl::formula
inline
is_eltl_formula
() 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_universal
() const
spot::ltl::formula
inline
is_X_free
() const
spot::ltl::formula
inline
kind
() const
spot::ltl::formula
inline
map
typedef (defined in
spot::ltl::multop
)
spot::ltl::multop
protected
MultOp
enum value (defined in
spot::ltl::formula
)
spot::ltl::formula
multop
(type op, vec *v) (defined in
spot::ltl::multop
)
spot::ltl::multop
protected
nth
(unsigned n) const
spot::ltl::multop
inline
op
() const
spot::ltl::multop
inline
op_name
() const
spot::ltl::multop
opkind
enum name
spot::ltl::formula
Or
enum value (defined in
spot::ltl::multop
)
spot::ltl::multop
OrRat
enum value (defined in
spot::ltl::multop
)
spot::ltl::multop
pair
typedef (defined in
spot::ltl::multop
)
spot::ltl::multop
protected
props
(defined in
spot::ltl::formula
)
spot::ltl::formula
ref_
() const
spot::ltl::ref_formula
protected
virtual
ref_count_
() const
spot::ltl::ref_formula
protected
ref_formula
(opkind k) (defined in
spot::ltl::ref_formula
)
spot::ltl::ref_formula
protected
size
() const
spot::ltl::multop
inline
type
enum name (defined in
spot::ltl::multop
)
spot::ltl::multop
UnOp
enum value (defined in
spot::ltl::formula
)
spot::ltl::formula
unref_
() const
spot::ltl::ref_formula
protected
virtual
vec
typedef
spot::ltl::multop
~formula
() (defined in
spot::ltl::formula
)
spot::ltl::formula
protected
virtual
~multop
() (defined in
spot::ltl::multop
)
spot::ltl::multop
protected
virtual
~ref_formula
() (defined in
spot::ltl::ref_formula
)
spot::ltl::ref_formula
protected
virtual
Please direct any
question
,
comment
, or
bug report
to the Spot mailing list at
spot@lrde.epita.fr
.
Generated on Thu May 15 2014 11:04:12 for spot by
1.8.4