spot
1.1.4
|
Go to the source code of this file.
Namespaces | |
spot | |
Functions | |
ta_explicit * | spot::tgba_to_ta (const tgba *tgba_to_convert, bdd atomic_propositions_set, bool degeneralized=true, bool artificial_initial_state_mode=true, bool single_pass_emptiness_check=false, bool artificial_livelock_state_mode=false) |
Build a spot::ta_explicit* (TA) from an LTL formula. More... | |
tgta_explicit * | spot::tgba_to_tgta (const tgba *tgba_to_convert, bdd atomic_propositions_set) |
Build a spot::tgta_explicit* (TGTA) from an LTL formula. More... | |