Main Page | Modules | Namespace List | Class Hierarchy | Alphabetical List | Class List | File List | Namespace Members | Class Members | File Members | Related Pages

Graph Class Template Reference

Graph. More...

List of all members.

Public Types

typedef Graph< K, WordValue,
WeightValue, SeriesValue,
Letter, Tag, Geometry > 
self_t
 Self type definition.
typedef LabelOf< K, WordValue,
WeightValue, SeriesValue,
Letter >::ret 
label_t
 Typedefs on automaton related graphs elements.

Public Member Functions

states_t states () const
 Return states set.
edges_t edges () const
 Return edges set.
initial_support_t initial () const
 Initial/final state supports.
State's manipulation
void del_state (hstate_t n)
 Remove state n.
Edge's manipulation
Only automaton related methods
template<class S>
bool exists (const AutomataBase< S > &s) const
 Check the consistency of an automata.
template<class OutputIterator, class Query>
void delta (OutputIterator res, hstate_t from, const Query &q, delta_kind::states) const
 Check the consistency of an automata.
template<class OutputIterator, class Query>
void delta (OutputIterator res, hstate_t from, const Query &q, delta_kind::edges) const
 Check the consistency of an automata.
template<class OutputIterator, class Query>
void rdelta (OutputIterator res, hstate_t from, const Query &q, delta_kind::states) const
 Check the consistency of an automata.
template<class OutputIterator, class Query>
void rdelta (OutputIterator res, hstate_t from, const Query &q, delta_kind::edges) const
 Check the consistency of an automata.
template<class Functor, class Query>
void deltaf (Functor &fun, hstate_t from, const Query &q, delta_kind::states, misc::true_t) const
 Check the consistency of an automata.
template<class Functor, class Query>
void deltaf (Functor &fun, hstate_t from, const Query &q, delta_kind::states, misc::false_t) const
 Check the consistency of an automata.
template<class Functor, class Query>
void deltaf (Functor &fun, hstate_t from, const Query &q, delta_kind::edges, misc::true_t) const
 Check the consistency of an automata.
template<class Functor, class Query>
void deltaf (Functor &fun, hstate_t from, const Query &q, delta_kind::edges, misc::false_t) const
 Check the consistency of an automata.
template<class Functor, class Query>
void rdeltaf (Functor &fun, hstate_t from, const Query &q, delta_kind::states, misc::true_t) const
 Check the consistency of an automata.
template<class Functor, class Query>
void rdeltaf (Functor &fun, hstate_t from, const Query &q, delta_kind::states, misc::false_t) const
 Check the consistency of an automata.
template<class Functor, class Query>
void rdeltaf (Functor &fun, hstate_t from, const Query &q, delta_kind::edges, misc::true_t) const
 Check the consistency of an automata.
template<class Functor, class Query>
void rdeltaf (Functor &fun, hstate_t from, const Query &q, delta_kind::edges, misc::false_t) const
 Check the consistency of an automata.
template<class Functor, class Query, typename DKind>
void deltaf (Functor &fun, hstate_t from, const Query &q, delta_kind::kind< DKind >) const
 Check the consistency of an automata.
template<class Functor, class Query, typename DKind>
void rdeltaf (Functor &fun, hstate_t from, const Query &q, delta_kind::kind< DKind >) const
 Check the consistency of an automata.


Detailed Description

template<class K, class WordValue, class WeightValue, class SeriesValue, class Letter, class Tag, class Geometry>
class vcsn::Graph< K, WordValue, WeightValue, SeriesValue, Letter, Tag, Geometry >

Graph.

Definition at line 82 of file graph.hh.


Member Function Documentation

void del_state hstate_t  n  ) 
 

Remove state n.

Precondition:
n is a state of this graph.

Definition at line 165 of file graph.hxx.

References SparseInterval::begin(), SparseInterval::end(), state_value::input_edges, and state_value::output_edges.


Generated on Sun Jul 30 21:14:00 2006 for Vaucanson by  doxygen 1.3.9.1