---

Reducer Class Reference

List of all members.

Public Methods
	Reducer (TransSystem system)
void	reduce (Location currentLoc, TransSequence seq, boolean visible)
void	run ()
Private Attributes
TransSystem	system
int	mark
Vector	newTransformations = new Vector()

---

Detailed Description

Reducer does two things:

1. collapses trivial transformations together to reduce the number of locations (a trivial transformation is one with no actions).
2. uses VisibleExtractor to mark each transformation as visible/invisible (note: we no longer collapse sequences of invisible transitions together in BIRC but simply mark them as invisible and let the translator collapse them if this is appropriate).

Definition at line 53 of file Reducer.java.

---

Member Function Documentation

void Reducer::reduce (  Location   currentLoc, TransSequence   seq, boolean   visible )  [inline]

Follow all invisible transformations from the given location, appending them to the transition sequence, until we reach a visible transformation. Definition at line 69 of file Reducer.java.

---

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

• Reducer.java

---