Highlight a spot::tgba_run on a spot::tgba.An instance of this class can be passed to spot::dotty_reachable.
More...
#include <tgbaalgos/rundotdec.hh>
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, 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
Highlight a spot::tgba_run on a spot::tgba.
An instance of this class can be passed to spot::dotty_reachable.
Member Typedef Documentation
Constructor & Destructor Documentation
spot::tgba_run_dotty_decorator::tgba_run_dotty_decorator |
( |
const tgba_run * |
run | ) |
|
virtual spot::tgba_run_dotty_decorator::~tgba_run_dotty_decorator |
( |
| ) |
|
|
virtual |
Member Function Documentation
virtual std::string spot::tgba_run_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 from spot::dotty_decorator.
virtual std::string spot::tgba_run_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 from spot::dotty_decorator.
Member Data Documentation
step_map spot::tgba_run_dotty_decorator::map_ |
|
private |
const tgba_run* spot::tgba_run_dotty_decorator::run_ |
|
private |
The documentation for this class was generated from the following file: