MaxPlusAnalysis::StoredStates Class Reference

#include <mpstorage.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

---

Member Function Documentation

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

Referenced by MaxPlusAnalysis::Exploration::explore(), MaxPlusAnalysis::Exploration::explore_backward(), and MaxPlusAnalysis::Exploration::exploreDelayForSchedule().

bool MaxPlusAnalysis::StoredStates::includes

(

State *

x

)

[inline]

void MaxPlusAnalysis::StoredStates::store

(

State *

x

)

[inline]

Referenced by MaxPlusAnalysis::Exploration::explore(), MaxPlusAnalysis::Exploration::explore_backward(), and MaxPlusAnalysis::Exploration::exploreDelayForSchedule().

---

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

• mpstorage.h