23 #ifndef SPOT_TGBAALGOS_RUNDOTDEC_HH
24 # define SPOT_TGBAALGOS_RUNDOTDEC_HH
29 #include "dottydec.hh"
30 #include "emptiness.hh"
44 virtual std::string state_decl(
const tgba* a,
const state* s,
int n,
46 const std::string& label,
48 virtual std::string link_decl(
const tgba* a,
49 const state* in_s,
int in,
50 const state* out_s,
int out,
52 const std::string& label);
55 typedef std::pair<tgba_run::steps::const_iterator, int> step_num;
56 typedef std::list<step_num> step_set;
57 typedef std::map<const state*, std::pair<step_set, step_set>,
63 #endif // SPOT_TGBAALGOS_RUNDOTDEC_HH
An accepted run, for a tgba.
Definition: emptiness.hh:254
Choose state and link styles for spot::dotty_reachable.
Definition: dottydec.hh:40
Abstract class for states.
Definition: state.hh:40
Iterate over the successors of a state.
Definition: succiter.hh:38
A Transition-based Generalized Büchi Automaton.
Definition: tgba.hh:67
Highlight a spot::tgba_run on a spot::tgba.
Definition: rundotdec.hh:38
Strict Weak Ordering for state*.
Definition: state.hh:115