storm::dd::bisimulation::ReuseWrapper Class Reference

#include <InternalSignatureRefiner.h>

Public Member Functions
	ReuseWrapper ()
	ReuseWrapper (bool value)
bool	isReused () const
void	setReused ()

Detailed Description

Definition at line 21 of file InternalSignatureRefiner.h.

Constructor & Destructor Documentation

ReuseWrapper() [1/2]

storm::dd::bisimulation::ReuseWrapper::ReuseWrapper

(

)

Definition at line 25 of file InternalSignatureRefiner.cpp.

ReuseWrapper() [2/2]

storm::dd::bisimulation::ReuseWrapper::ReuseWrapper

(

bool

value

)

Definition at line 29 of file InternalSignatureRefiner.cpp.

Member Function Documentation

isReused()

bool storm::dd::bisimulation::ReuseWrapper::isReused

(

)

const

Definition at line 33 of file InternalSignatureRefiner.cpp.

setReused()

void storm::dd::bisimulation::ReuseWrapper::setReused

(

)

Definition at line 37 of file InternalSignatureRefiner.cpp.

---

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

• src/storm/storage/dd/bisimulation/InternalSignatureRefiner.h
• src/storm/storage/dd/bisimulation/InternalSignatureRefiner.cpp