---

V1PartialState Class Reference

#include <V1States.h>

List of all members.

Public Methods
	V1PartialState (int name, int first_line)
	V1PartialState (V1PartialState &orig)
virtual V1PartialState *	clone ()
int	getName ()
int	getIndex ()
void	setDimension (int idx)
int	getFirstLine ()

---

Constructor & Destructor Documentation

V1PartialState::V1PartialState (  int    name, int    first_line )

V1PartialState::V1PartialState (  V1PartialState &    orig )

---

Member Function Documentation

virtual V1PartialState* V1PartialState::clone (    )  [virtual]

int V1PartialState::getFirstLine (    )

int V1PartialState::getIndex (    )

int V1PartialState::getName (    )

void V1PartialState::setDimension (  int    idx )

---

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

• V1States.h

---