dlvhex  2.5.0
CounterVerification< EvalGraphT > Class Template Reference

#include <testsuite/dummytypes.h>

Collaboration diagram for CounterVerification< EvalGraphT >:

Public Member Functions

 CounterVerification (EvalGraphT &eg, unsigned iterations)
void recordCounters (unsigned iteration)
void printCounters ()
void verifyEqual (unsigned iterationa, unsigned iterationb)

Protected Types

typedef std::map
< TestEvalGraph::EvalUnit,
unsigned > 
IterCountMap

Protected Attributes

EvalGraphT & eg
std::vector< IterCountMapcounters

Detailed Description

template<typename EvalGraphT>
class CounterVerification< EvalGraphT >

Definition at line 262 of file dummytypes.h.


Member Typedef Documentation

template<typename EvalGraphT >
typedef std::map<TestEvalGraph::EvalUnit, unsigned> CounterVerification< EvalGraphT >::IterCountMap [protected]

Definition at line 267 of file dummytypes.h.


Constructor & Destructor Documentation

template<typename EvalGraphT >
CounterVerification< EvalGraphT >::CounterVerification ( EvalGraphT &  eg,
unsigned  iterations 
) [inline]

Definition at line 271 of file dummytypes.h.

References CounterVerification< EvalGraphT >::recordCounters().


Member Function Documentation

template<typename EvalGraphT >
void CounterVerification< EvalGraphT >::printCounters ( ) [inline]
template<typename EvalGraphT >
void CounterVerification< EvalGraphT >::recordCounters ( unsigned  iteration) [inline]
template<typename EvalGraphT >
void CounterVerification< EvalGraphT >::verifyEqual ( unsigned  iterationa,
unsigned  iterationb 
) [inline]

Field Documentation

template<typename EvalGraphT >
EvalGraphT& CounterVerification< EvalGraphT >::eg [protected]

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