spot
0.9.1
|
Go to the source code of this file.
Classes | |
class | spot::fair_kripke_succ_iterator |
Iterator code for a Fair Kripke structure.This iterator can be used to simplify the writing of an iterator on a Fair Kripke structure (or lookalike). More... | |
class | spot::fair_kripke |
Interface for a Fair Kripke structure.A Kripke structure is a graph in which each node (=state) is labeled by a conjunction of atomic proposition, and a set of acceptance conditions. More... | |
Namespaces | |
namespace | spot |