spot Documentation

0.0r

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.

---