---

V1StateCollector Class Reference

#include <V1States.h>

Collaboration diagram for V1StateCollector:

[legend]List of all members.

Public Methods
	V1StateCollector ()
void	v1appendSource (V1StateVector *v)
void	v1appendTarget (V1StateVector *v)
void	v1setInitial (V1StateVector *v)
int	v1getDimension ()
void	v1resolveComplements ()
V1StateVector *	getInitial ()
MNList< V1StateVector * > &	getSources ()
MNList< V1StateVector * > &	getTargets ()

---

Constructor & Destructor Documentation

V1StateCollector::V1StateCollector (    )

---

Member Function Documentation

V1StateVector* V1StateCollector::getInitial (    )

MNList<V1StateVector*>& V1StateCollector::getSources (    )

MNList<V1StateVector*>& V1StateCollector::getTargets (    )

void V1StateCollector::v1appendSource (  V1StateVector *    v )

void V1StateCollector::v1appendTarget (  V1StateVector *    v )

int V1StateCollector::v1getDimension (    )

void V1StateCollector::v1resolveComplements (    )

void V1StateCollector::v1setInitial (  V1StateVector *    v )

---

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

• V1States.h

---