storm::expressions::SimpleValuationPointerLess Class Reference

A helper class that can be used as the comparison functor wrt. More...

#include <SimpleValuation.h>

Public Member Functions
bool	operator() (SimpleValuation *valuation1, SimpleValuation *valuation2) const

Detailed Description

A helper class that can be used as the comparison functor wrt.

"<" for data structures that need to store pointers to valuations and need to compare the elements wrt. their content (rather than pointer equality).

Definition at line 105 of file SimpleValuation.h.

Member Function Documentation

operator()()

bool storm::expressions::SimpleValuationPointerLess::operator()	(	SimpleValuation *	valuation1,
		SimpleValuation *	valuation2
	)		const

Definition at line 186 of file SimpleValuation.cpp.

---

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

• src/storm/storage/expressions/SimpleValuation.h
• src/storm/storage/expressions/SimpleValuation.cpp