storm::expressions::SimpleValuationPointerCompare 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.

equality 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 95 of file SimpleValuation.h.

Member Function Documentation

operator()()

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

Definition at line 182 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