23 #ifndef SPOT_TGBAALGOS_DOTTYDEC_HH
24 # define SPOT_TGBAALGOS_DOTTYDEC_HH
26 # include "misc/common.hh"
33 class tgba_succ_iterator;
60 virtual std::string state_decl(
const tgba* a,
const state* s,
int n,
62 const std::string& label,
83 virtual std::string link_decl(
const tgba* a,
84 const state* in_s,
int in,
85 const state* out_s,
int out,
87 const std::string& label);
97 #endif // SPOT_TGBAALGOS_DOTTYDEC_HH
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