Generated on Sat Feb 7 2015 02:01:52 for Gecode by doxygen 1.8.9.1
Test::AFC Class Reference

Test for AFC infrastructure More...

Classes

class  TestSpace
 Test space. More...
 

Public Member Functions

 AFC (void)
 Initialize test. More...
 
bool run (void)
 Perform actual tests. More...
 
- Public Member Functions inherited from Test::Base
 Base (const std::string &s)
 Create and register test with name s. More...
 
const std::string & name (void) const
 Return name of test. More...
 
Basenext (void) const
 Return next test. More...
 
void next (Base *n)
 Set next test. More...
 
virtual ~Base (void)
 Destructor. More...
 

Protected Member Functions

int space (TestSpace *s[])
 Return random index of non-null space. More...
 
int index (void)
 Return random index. More...
 

Static Protected Attributes

static const int n_ops = 8 * 1024
 How many test operations to be performed. More...
 
static const int n = 16
 How many spaces to maintain. More...
 

Additional Inherited Members

- Static Public Member Functions inherited from Test::Base
static void sort (void)
 Sort tests alphabetically. More...
 
static Basetests (void)
 Return all tests. More...
 
static bool fixpoint (void)
 Throw a coin whether to compute a fixpoint. More...
 
- Static Public Attributes inherited from Test::Base
static Gecode::Support::RandomGenerator rand = Gecode::Support::RandomGenerator()
 Random number generator. More...
 

Detailed Description

Test for AFC infrastructure

Definition at line 46 of file afc.cpp.

Constructor & Destructor Documentation

Test::AFC::AFC ( void  )
inline

Initialize test.

Definition at line 87 of file afc.cpp.

Member Function Documentation

int Test::AFC::space ( TestSpace s[])
inlineprotected

Return random index of non-null space.

Definition at line 75 of file afc.cpp.

int Test::AFC::index ( void  )
inlineprotected

Return random index.

Definition at line 82 of file afc.cpp.

bool Test::AFC::run ( void  )
inlinevirtual

Perform actual tests.

Implements Test::Base.

Definition at line 89 of file afc.cpp.

Member Data Documentation

const int Test::AFC::n_ops = 8 * 1024
staticprotected

How many test operations to be performed.

Definition at line 71 of file afc.cpp.

const int Test::AFC::n = 16
staticprotected

How many spaces to maintain.

Definition at line 73 of file afc.cpp.


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