Generated on Thu Mar 13 2014 04:39:50 for Gecode by doxygen 1.8.1.2
Test::AFC Class Reference

Test for AFC infrastructure More...

Classes

class  TestSpace
 Test space. More...

Public Member Functions

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

Protected Member Functions

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

Static Protected Attributes

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

Additional Inherited Members

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

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: