previousnext
ASTL homeSTL home

Minimization_tag

Description

A type of tag defining the prerequisite members for those wishing to use the acyclic_minimization algorithm.

Definition

Defined in minimize.h.

Template parameters

None

Model of

Tag,

Type requirements

None.

Public base classes

None.

Members

None, since tag defines none...

New members

Member Description

unsigned long degree_in()

Returns th number of ingoing transitions of the state associated with this tag.
void degree_in( x) Sets degree_in to x.
unsigned long equivalent_to() Returns a state (used as reference) equivalent to the one associated with this tag. (0 if none)
void equivalent_to( x) Sets the equivalence reference state to x.
friend bool operator == (x,y) Returns true if x and y have the same number of ingoing transitions and the same equivalence reference state