Generated on Thu Jul 21 2022 00:00:00 for Gecode by doxygen 1.9.4
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 bool run (void)=0
 Run 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 42 of file afc.cpp.

Constructor & Destructor Documentation

◆ AFC()

Test::AFC::AFC ( void  )
inline

Initialize test.

Definition at line 83 of file afc.cpp.

Member Function Documentation

◆ space()

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

Return random index of non-null space.

Definition at line 71 of file afc.cpp.

◆ index()

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

Return random index.

Definition at line 78 of file afc.cpp.

◆ run()

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

Perform actual tests.

Implements Test::Base.

Definition at line 85 of file afc.cpp.

Member Data Documentation

◆ n_ops

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

How many test operations to be performed.

Definition at line 67 of file afc.cpp.

◆ n

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

How many spaces to maintain.

Definition at line 69 of file afc.cpp.


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