spot  1.2.6
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Public Member Functions | Static Public Member Functions | List of all members
spot::tgba_run_dotty_decorator Class Reference

Highlight a spot::tgba_run on a spot::tgba. More...

#include <tgbaalgos/rundotdec.hh>

Inheritance diagram for spot::tgba_run_dotty_decorator:
Inheritance graph
Collaboration diagram for spot::tgba_run_dotty_decorator:
Collaboration graph

Public Member Functions

 tgba_run_dotty_decorator (const tgba_run *run)
 
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_decoratorinstance ()
 Get the unique instance of the default dotty_decorator. More...
 

Detailed Description

Highlight a spot::tgba_run on a spot::tgba.

An instance of this class can be passed to spot::dotty_reachable.

Member Function Documentation

static dotty_decorator* spot::dotty_decorator::instance ( )
staticinherited

Get the unique instance of the default dotty_decorator.

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
athe automaton being drawn
in_sthe source state of the transition being drawn (owned by the caller)
inthe unique number associated to in_s
out_sthe destination state of the transition being drawn (owned by the caller)
outthe unique number associated to out_s
sian iterator over the successors of in_s, pointing to the current transition (owned by the caller and cannot be iterated)
labelthe 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
athe automaton being drawn
sthe state being drawn (owned by the caller)
na unique number for this state
sian iterator over the successors of this state (owned by the caller, but can be freely iterated)
labelthe computed name of this state
acceptingwhether the state is accepting (it makes sense only for state-acceptance automata)

Reimplemented from spot::dotty_decorator.


The documentation for this class was generated from the following file:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Sat Dec 6 2014 12:28:45 for spot by doxygen 1.8.4