state_value Struct Reference

State decorator. More...

List of all members.

Public Types

typedef std::set< hedge_tedges_t

Public Member Functions

 state_value ()

Public Attributes

edges_t output_edges
edges_t input_edges


Detailed Description

State decorator.

Definition at line 65 of file graph.hh.


Generated on Wed Jun 13 17:03:23 2007 for Vaucanson by  doxygen 1.5.1