Class DepTestStatistics

Contents

Class DepTestStatistics#

Defined in File DepTestStatistics.h

Class Documentation#

class DepTestStatistics#

Public Functions

inline DepTestStatistics()#

int AddProblem(int p)#

int AddProcessedAdhoc(int p)#

int AddProcessedPlato(int p)#

int AddProcessedOmega(int p)#

void GetProcessed(int *a, int *p, int *o)#

void SetFileName(const std::string fname)#

bool CompareDepTests(unsigned int c, DepInfo a, DepInfo p, DepInfo o)#

unsigned int RoseToPlatoDV(const DepRel dr)#

DepDirType PlatoToRoseDV(unsigned int _dv)#

void GetDiffs(int *ap, int *ao, int *po)#

void GetTimes(double *a, double *p, double *o)#

double AddAdhocTime(double t0, double t1)#

double AddPlatoTime(double t0, double t1)#

double AddOmegaTime(double t0, double t1)#

int AddAdhocDV(unsigned int dv)#

int AddOmegaDV(unsigned int dv)#

int AddPlatoDV(unsigned int dv)#

void GetEqualDVs(unsigned int *a, unsigned int *p, unsigned int *o)#

void GetLessThanDVs(unsigned int *a, unsigned int *p, unsigned int *o)#

void GetGreaterThanDVs(unsigned int *a, unsigned int *p, unsigned int *o)#

void GetStarDVs(unsigned int *a, unsigned int *p, unsigned int *o)#

void InitAdhocTime(void)#

void InitPlatoTime(void)#

void InitOmegaTime(void)#

double SetAdhocTime(void)#

double SetPlatoTime(void)#

double SetOmegaTime(void)#

double GetTime(void)#

void SetDepChoice(unsigned int dep_test_choice)#

void PrintResults(void)#