spot
0.8.1
|
#include "sabastate.hh"
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 |