#include "state.hh"
#include "succiter.hh"
#include "bdddict.hh"
Go to the source code of this file.
Classes | |
class | spot::tgba |
A Transition-based Generalized Büchi Automaton.The acronym TGBA (Transition-based Generalized Büchi Automaton) was coined by Dimitra Giannakopoulou and Flavio Lerda in "From States to Transitions: Improving Translation of LTL
Formulae to Büchi Automata". (FORTE'02). More... | |
Namespaces | |
namespace | spot |