cz::muni::stanse::lockchecker::Occurrences Member List

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

addOccurrence(State state, CFGNode node, int increment)	cz::muni::stanse::lockchecker::Occurrences	[inline]
addOcurrences(Occurrences occurrencesToAdd, VarTransformations varTransformations)	cz::muni::stanse::lockchecker::Occurrences	[inline]
get(State state)	cz::muni::stanse::lockchecker::Occurrences	[inline]
getAllStates()	cz::muni::stanse::lockchecker::Occurrences	[inline]
getZStatsPairs(boolean countZStatisticUsingFlows)	cz::muni::stanse::lockchecker::Occurrences	[inline]
Occurrences(StateRepository repos)	cz::muni::stanse::lockchecker::Occurrences	[inline]