Go to the source code of this file.
Classes |
class | spot::saba_state_conjunction |
| Iterate over a conjunction of saba_state.This class provides the basic functionalities required to iterate over a conjunction of states of a saba. More...
|
class | spot::saba_succ_iterator |
| Iterate over the successors of a saba_state.This class provides the basic functionalities required to iterate over the successors of a state of a saba. Since transitions of an alternating automaton are defined as a boolean function with conjunctions (universal) and disjunctions (non-deterministic),. More...
|
Namespaces |
namespace | spot |