FSMSADF::MPExploreBindingAware::StoredStates Class Reference

#include <mpexplore_binding_aware.h>

List of all members.

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

---

Detailed Description

class StoredStates Hash of states.

---

Member Function Documentation

bool FSMSADF::MPExploreBindingAware::StoredStates::includes	(	State *	x,
		State **	y
	)			[inline]

bool FSMSADF::MPExploreBindingAware::StoredStates::includes

(

State *

x

)

[inline]

void FSMSADF::MPExploreBindingAware::StoredStates::store

(

State *

x

)

[inline]

---

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

• mpexplore_binding_aware.h