Choose state and link styles for spot::dotty_reachable. More...
#include <tgbaalgos/dottydec.hh>
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 () |
Choose state and link styles for spot::dotty_reachable.
virtual spot::dotty_decorator::~dotty_decorator | ( | ) | [virtual] |
spot::dotty_decorator::dotty_decorator | ( | ) | [protected] |
static dotty_decorator* spot::dotty_decorator::instance | ( | ) | [static] |
Get the unique instance of the default dotty_decorator.
virtual std::string spot::dotty_decorator::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 | |||
) | [virtual] |
Compute the style of a link.
This function should output a string of the form [label="foo", style=bar, ...]
. The default implementation will simply output [label="LABEL"]
with LABEL
replaced by the value of label.
a | the automaton being drawn | |
in_s | the source state of the transition being drawn (owned by the caller) | |
in | the unique number associated to in_s | |
out_s | the destination state of the transition being drawn (owned by the caller) | |
out | the unique number associated to out_s | |
si | an iterator over the successors of in_s, pointing to the current transition (owned by the caller and cannot be iterated) | |
label | the computed name of this state |
Reimplemented in spot::tgba_run_dotty_decorator.
virtual std::string spot::dotty_decorator::state_decl | ( | const tgba * | a, | |
const state * | s, | |||
int | n, | |||
tgba_succ_iterator * | si, | |||
const std::string & | label | |||
) | [virtual] |
Compute the style of a state.
This function should output a string of the form [label="foo", style=bar, ...]
. The default implementation will simply output [label="LABEL"]
with LABEL
replaced by the value of label.
a | the automaton being drawn | |
s | the state being drawn (owned by the caller) | |
n | a unique number for this state | |
si | an iterator over the successors of this state (owned by the caller, but can be freely iterated) | |
label | the computed name of this state |
Reimplemented in spot::tgba_run_dotty_decorator.