#include <tgbaalgos/dottydec.hh>
Inheritance diagram for spot::dotty_decorator:
Public Member Functions | |
virtual | ~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. | |
Protected Member Functions | |
dotty_decorator () |
|
|
|
|
|
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 in spot::tgba_run_dotty_decorator. |
|
Compute the style of a state.
This function should output a string of the form
Reimplemented in spot::tgba_run_dotty_decorator. |