spot
1.2.1a
Main Page
Related Pages
Modules
Namespaces
Classes
Files
Class List
Class Index
Class Hierarchy
Class Members
spot
ltl
constant
spot::ltl::constant Member List
This is the complete list of members for
spot::ltl::constant
, including all inherited members.
accept
(visitor &v) const
spot::ltl::constant
virtual
accepts_eword
() const
spot::ltl::formula
inline
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
BUnOp
enum value (defined in
spot::ltl::formula
)
spot::ltl::formula
clone
() const
spot::ltl::formula
constant
(type val) (defined in
spot::ltl::constant
)
spot::ltl::constant
protected
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::constant
virtual
empty_word_instance
()
spot::ltl::constant
inline
static
EmptyWord
enum value (defined in
spot::ltl::constant
)
spot::ltl::constant
False
enum value (defined in
spot::ltl::constant
)
spot::ltl::constant
false_instance
()
spot::ltl::constant
inline
static
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
hash
() const
spot::ltl::formula
inline
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
MultOp
enum value (defined in
spot::ltl::formula
)
spot::ltl::formula
opkind
enum name
spot::ltl::formula
props
(defined in
spot::ltl::formula
)
spot::ltl::formula
ref_
() const
spot::ltl::formula
protected
virtual
True
enum value (defined in
spot::ltl::constant
)
spot::ltl::constant
true_instance
()
spot::ltl::constant
inline
static
type
enum name (defined in
spot::ltl::constant
)
spot::ltl::constant
UnOp
enum value (defined in
spot::ltl::formula
)
spot::ltl::formula
unref_
() const
spot::ltl::formula
protected
virtual
val
() const
spot::ltl::constant
val_name
() const
spot::ltl::constant
~constant
() (defined in
spot::ltl::constant
)
spot::ltl::constant
protected
virtual
~formula
() (defined in
spot::ltl::formula
)
spot::ltl::formula
protected
virtual
Please direct any
question
,
comment
, or
bug report
to the Spot mailing list at
spot@lrde.epita.fr
.
Generated on Fri Jun 5 2015 11:31:20 for spot by
1.8.9.1