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, bool accepting) |
| 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.
|
Detailed Description
Choose state and link styles for spot::dotty_reachable.
Constructor & Destructor Documentation
virtual spot::dotty_decorator::~dotty_decorator |
( |
| ) |
|
|
virtual |
spot::dotty_decorator::dotty_decorator |
( |
| ) |
|
|
protected |
Member Function Documentation
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.
- Parameters
-
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, |
|
|
bool |
accepting |
|
) |
| |
|
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.
- Parameters
-
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.
The documentation for this class was generated from the following file: