spot
0.9.1
Main Page
Related Pages
Modules
Namespaces
Classes
Files
Directories
Class List
Class Hierarchy
Class Members
spot
ltl
ref_formula
spot::ltl::ref_formula Member List
This is the complete list of members for
spot::ltl::ref_formula
, including all inherited members.
accept
(visitor &v) const =0
spot::ltl::formula
[pure virtual]
accepts_eword
() const
spot::ltl::formula
[inline]
AtomicProp
enum value
spot::ltl::formula
AutomatOp
enum value
spot::ltl::formula
BinOp
enum value
spot::ltl::formula
BUnOp
enum value
spot::ltl::formula
clone
() const
spot::ltl::formula
Constant
enum value
spot::ltl::formula
count_
spot::ltl::formula
[protected]
destroy
() const
spot::ltl::formula
dump
() const =0
spot::ltl::formula
[pure virtual]
formula
(opkind k)
spot::ltl::formula
[inline, protected]
get_props
() const
spot::ltl::formula
[inline]
hash
() const
spot::ltl::formula
[inline]
is
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
spot::ltl::formula
opkind
enum name
spot::ltl::formula
props
spot::ltl::formula
ref_
() const
spot::ltl::ref_formula
[protected, virtual]
ref_count_
() const
spot::ltl::ref_formula
[protected]
ref_counter_
spot::ltl::ref_formula
[mutable, private]
ref_formula
(opkind k)
spot::ltl::ref_formula
[protected]
UnOp
enum value
spot::ltl::formula
unref_
() const
spot::ltl::ref_formula
[protected, virtual]
~formula
()
spot::ltl::formula
[protected, virtual]
~ref_formula
()
spot::ltl::ref_formula
[protected, virtual]
Please
comment
this page and
report errors
about it on
the RefDocComments page
.
Generated on Wed May 23 2012 12:06:47 for spot by
1.7.6.1