FSMSADF::MPExploreStateSpace::States Class Reference

#include <statespace.h>

List of all members.

Public Member Functions
bool	includes (State *x, State **y)
bool	includes (State *x)

---

Detailed Description

class States Hash of states.

---

Member Function Documentation

bool FSMSADF::MPExploreStateSpace::States::includes	(	State *	x,
		State **	y
	)			[inline]

Referenced by FSMSADF::MPExploreStateSpace::StateSpaceExploration::exploreThroughput(), and FSMSADF::MPExploreStateSpace::StateSpaceExploration::exploreThroughputMax().

bool FSMSADF::MPExploreStateSpace::States::includes

(

State *

x

)

[inline]

---

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

• statespace.h