spot
1.0.2
|
Go to the source code of this file.
Classes | |
class | spot::state_ta_product |
A state for spot::ta_product.This state is in fact a pair of state: the state from the TA automaton and that of Kripke structure. More... | |
class | spot::ta_succ_iterator_product |
Iterate over the successors of a product computed on the fly. More... | |
class | spot::ta_product |
A lazy product between a Testing automaton and a Kripke structure. (States are computed on the fly.) More... | |
class | spot::ta_succ_iterator_product_by_changeset |
Namespaces | |
namespace | spot |