cz::muni::stanse::lockchecker::ErrorHolder Member List

This is the complete list of members for cz::muni::stanse::lockchecker::ErrorHolder, including all inherited members.

ErrorHolder(Map< CFGNode, CFGHandle > dictionary, State startState, CFGNode startNode)	cz::muni::stanse::lockchecker::ErrorHolder	[inline]
handleLockingError(LockError error)	cz::muni::stanse::lockchecker::ErrorHolder	[inline]
save(CheckerErrorReceiver errReceiver)	cz::muni::stanse::lockchecker::ErrorHolder	[inline]