#include <tgbaalgos/rundotdec.hh>
Inheritance diagram for spot::tgba_run_dotty_decorator:
Public Member Functions | |
tgba_run_dotty_decorator (const tgba_run *run) | |
virtual | ~tgba_run_dotty_decorator () |
virtual std::string | state_decl (const tgba *a, const state *s, int n, tgba_succ_iterator *si, const std::string &label) |
Compute the style of a state. | |
virtual std::string | link_decl (const tgba *a, const state *in_s, int in, const state *out_s, int out, const tgba_succ_iterator *si, const std::string &label) |
Compute the style of a link. | |
Static Public Member Functions | |
static dotty_decorator * | instance () |
Get the unique instance of the default dotty_decorator. | |
Private Types | |
typedef std::pair< tgba_run::steps::const_iterator, int > | step_num |
typedef std::list< step_num > | step_set |
typedef std::map< const state *, std::pair< step_set, step_set >, spot::state_ptr_less_than > | step_map |
Private Attributes | |
const tgba_run * | run_ |
step_map | map_ |
An instance of this class can be passed to spot::dotty_reachable.
|
|
|
|
|
|
|
|
|
|
|
Get the unique instance of the default dotty_decorator.
|
|
Compute the style of a link.
This function should output a string of the form
Reimplemented from spot::dotty_decorator. |
|
Compute the style of a state.
This function should output a string of the form
Reimplemented from spot::dotty_decorator. |
|
|
|
|