MaxPlusAnalysis::StateComparator Class Reference

#include <mpstorage.h>

List of all members.

Public Member Functions
bool	operator() (const State *s1, const State *s2) const

---

Detailed Description

class StateComparator

---

Member Function Documentation

bool MaxPlusAnalysis::StateComparator::operator()	(	const State *	s1,
		const State *	s2
	)			const [inline]

References MaxPlusAnalysis::State::equals().

Here is the call graph for this function:

---

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

• mpstorage.h