spot
1.0.1
|
#include "fairkripke.hh"
Go to the source code of this file.
Classes | |
class | spot::kripke_succ_iterator |
Iterator code for Kripke structureThis iterator can be used to simplify the writing of an iterator on a Kripke structure (or lookalike). More... | |
class | spot::kripke |
Interface for a Kripke structureA Kripke structure is a graph in which each node (=state) is labeled by a conjunction of atomic proposition. More... |
Namespaces | |
namespace | spot |