storm::transformer::UniPolyCompare Struct Reference

#include <BigStep.h>

Public Member Functions
bool	operator() (const UniPoly &lhs, const UniPoly &rhs) const

Detailed Description

Definition at line 32 of file BigStep.h.

Member Function Documentation

operator()()

bool storm::transformer::UniPolyCompare::operator()	(	const UniPoly &	lhs,
		const UniPoly &	rhs
	)		const

Definition at line 53 of file BigStep.cpp.

---

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

• src/storm-pars/transformer/BigStep.h
• src/storm-pars/transformer/BigStep.cpp