Main Page
|
Namespace List
|
Class Hierarchy
|
Class List
|
File List
|
Namespace Members
|
Class Members
|
File Members
spot Documentation
0.0x
This main page has yet to be written.
Handy starting points
spot::ltl::formula
Base class for an LTL formulae.
spot::ltl::parse
Parsing a text string into a
spot::ltl::formula
.
spot::tgba
Base class for Transition-based Generalized Büchi Automaton.
spot::ltl_to_tgba_fm
Convert a
spot::ltl::formula
into a
spot::tgba
.
spot::ltl_to_tgba_lacim
Likewise.
Please
comment
this page and
report errors
about it on
the RefDocComments page
.
Generated on Fri Aug 13 14:42:17 2004 for spot by
1.3.8