spot
1.2.4
|
Choose state and link styles for spot::dotty_reachable. More...
#include <tgbaalgos/dottydec.hh>
Public Member Functions | |
virtual std::string | state_decl (const tgba *a, const state *s, int n, tgba_succ_iterator *si, const std::string &label, bool accepting) |
Compute the style of a state. More... | |
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. More... | |
Static Public Member Functions | |
static dotty_decorator * | instance () |
Get the unique instance of the default dotty_decorator. More... | |
Choose state and link styles for spot::dotty_reachable.
|
static |
Get the unique instance of the default dotty_decorator.
|
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 |
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 |
accepting | whether the state is accepting (it makes sense only for state-acceptance automata) |
Reimplemented in spot::tgba_run_dotty_decorator.