cz::muni::stanse::lockchecker::Occurrences Class Reference

Collaboration diagram for cz::muni::stanse::lockchecker::Occurrences:

List of all members.

Public Member Functions

 Occurrences (StateRepository repos)
Map< CFGNode, Counterget (State state)
void addOccurrence (State state, CFGNode node, int increment)
Collection< StategetAllStates ()
void addOcurrences (Occurrences occurrencesToAdd, VarTransformations varTransformations)
Collection< Pair< Pair< State,
Double >, Pair< State, Double > > > 
getZStatsPairs (boolean countZStatisticUsingFlows)

Detailed Description

Class representing variable's occurrences
Radim Cebis

Constructor & Destructor Documentation

cz::muni::stanse::lockchecker::Occurrences::Occurrences ( StateRepository  repos  )  [inline]

Construct occurrences

repos state repostiory

Member Function Documentation

Map<CFGNode, Counter> cz::muni::stanse::lockchecker::Occurrences::get ( State  state  )  [inline]

Returns map (node, counter) of occurrences in given state

map (node, counter) of occurrences in given state

void cz::muni::stanse::lockchecker::Occurrences::addOccurrence ( State  state,
CFGNode  node,
int  increment 
) [inline]

Add occurrence in the given state and node

state of the occurrence
node of the occurrence
increment how much increment the occurrence - should be 1 or -1

Collection<State> cz::muni::stanse::lockchecker::Occurrences::getAllStates (  )  [inline]

states for all occurrences

void cz::muni::stanse::lockchecker::Occurrences::addOcurrences ( Occurrences  occurrencesToAdd,
VarTransformations  varTransformations 
) [inline]

Joins this occurrences with occurrencesToAdd while transforming identifiers

occurrencesToAdd occurrences to be added to this occurrences
varTransformations variable identifiers transformations between caller and callee

Collection<Pair<Pair<State,Double>, Pair<State,Double> > > cz::muni::stanse::lockchecker::Occurrences::getZStatsPairs ( boolean  countZStatisticUsingFlows  )  [inline]

Counts z-statistic using pairs. Only two pairs are used to count z-statistic and to be compared.

countZStatisticUsingFlows should we count z-statistic using flows?
collection of pairs of state,z-stat pairs whith relevant z-statistic

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

Generated on Thu Jan 13 16:24:09 2011 for Stanse by  doxygen 1.5.6