Main Page | Modules | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

spot::tgba_run_dotty_decorator Class Reference
[Decorating the dot output]

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

#include <tgbaalgos/rundotdec.hh>

Inheritance diagram for spot::tgba_run_dotty_decorator:

Inheritance graph
[legend]
Collaboration diagram for spot::tgba_run_dotty_decorator:

Collaboration graph
[legend]
List of all members.

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)
 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_decoratorinstance ()
 Get the unique instance of the default dotty_decorator.

Private Types

typedef std::pair< tgba_run::steps::const_iterator,
int > 
step_num
typedef std::list< step_numstep_set
typedef std::map< const state *,
std::pair< step_set, step_set >,
spot::state_ptr_less_than
step_map

Private Attributes

const tgba_runrun_
step_map map_

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

typedef std::map<const state*, std::pair<step_set, step_set>, spot::state_ptr_less_than> spot::tgba_run_dotty_decorator::step_map [private]
 

typedef std::pair<tgba_run::steps::const_iterator, int> spot::tgba_run_dotty_decorator::step_num [private]
 

typedef std::list<step_num> spot::tgba_run_dotty_decorator::step_set [private]
 


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

static dotty_decorator* spot::dotty_decorator::instance  )  [static, inherited]
 

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:
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
[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

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:
Please comment this page and report errors about it on the RefDocComments page.
Generated on Mon Jan 31 12:56:05 2005 for spot by doxygen 1.4.0