---

V2StateVector Class Reference

#include <V2States.h>

Collaboration diagram for V2StateVector:

[legend]List of all members.

Public Types
enum	Mode { Name, Index }
Public Methods
	V2StateVector (int dimension, int first_line, V1Transition *trans)
	V2StateVector (int dimension, int *v, int first_line, Mode m)
	V2StateVector (V2StateVector &orig)
	~V2StateVector ()
void	set (int dim, V2PartialState *s)
int *	getIndexVector ()
int *	getIndexVectorWithSignals ()
V1Transition *	getTransition ()
bool	keep ()
bool	generic ()
MNString	asIndexVector ()
MNString	asNameVector ()
MNString	asSymbolicName ()
MNString	asNextstateParameters ()
int	getFirstLine ()

---

Member Enumeration Documentation

enum V2StateVector::Mode

Enumeration values: Name  Index

---

Constructor & Destructor Documentation

V2StateVector::V2StateVector (  int    dimension, int    first_line, V1Transition *    trans )

V2StateVector::V2StateVector (  int    dimension, int *    v, int    first_line, Mode    m )

V2StateVector::V2StateVector (  V2StateVector &    orig )

V2StateVector::~V2StateVector (    )

---

Member Function Documentation

MNString V2StateVector::asIndexVector (    )

MNString V2StateVector::asNameVector (    )

MNString V2StateVector::asNextstateParameters (    )

MNString V2StateVector::asSymbolicName (    )

bool V2StateVector::generic (    )

int V2StateVector::getFirstLine (    )

int* V2StateVector::getIndexVector (    )

int* V2StateVector::getIndexVectorWithSignals (    )

V1Transition* V2StateVector::getTransition (    )

bool V2StateVector::keep (    )

void V2StateVector::set (  int    dim, V2PartialState *    s )

---

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

• V2States.h

---