Generate random selection of assignments.
More...
#include <int.hh>
Generate random selection of assignments.
Definition at line 100 of file int.hh.
◆ RandomAssignment()
Test::Int::RandomAssignment::RandomAssignment |
( |
int |
n, |
|
|
const Gecode::IntSet & |
d, |
|
|
int |
a |
|
) |
| |
|
inline |
Initialize for a assignments for n0 variables and values d0.
Definition at line 92 of file int.hpp.
◆ ~RandomAssignment()
Test::Int::RandomAssignment::~RandomAssignment |
( |
void |
| ) |
|
|
inlinevirtual |
Destructor.
Definition at line 108 of file int.hpp.
◆ randval()
int Test::Int::RandomAssignment::randval |
( |
void |
| ) |
|
|
inlineprotected |
◆ operator()()
bool Test::Int::RandomAssignment::operator() |
( |
void |
| ) |
const |
|
inlinevirtual |
◆ operator++()
void Test::Int::RandomAssignment::operator++ |
( |
void |
| ) |
|
|
virtual |
◆ operator[]()
int Test::Int::RandomAssignment::operator[] |
( |
int |
i | ) |
const |
|
inlinevirtual |
◆ vals
int* Test::Int::RandomAssignment::vals |
|
protected |
The current values for the variables.
Definition at line 102 of file int.hh.
int Test::Int::RandomAssignment::a |
|
protected |
How many assigments still to be generated Generate new value according to domain.
Definition at line 103 of file int.hh.
The documentation for this class was generated from the following files: