Classes | |
class | spot::state_product |
A state for spot::tgba_product. More... | |
class | spot::tgba_tba_proxy |
Degeneralize a spot::tgba on the fly, producing a TBA. More... | |
class | spot::tgba_sba_proxy |
Degeneralize a spot::tgba on the fly, producing an SBA. More... |