Generate random selection of assignments.
More...
#include <int.hh>
|
int * | vals |
| The current values for the variables.
|
|
int | a |
| How many assigments still to be generated Generate new value according to domain.
|
|
int | n |
| Number of variables.
|
|
Gecode::IntSet | d |
| Domain for each variable.
|
|
Generate random selection of assignments.
Definition at line 96 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 88 of file int.hpp.
◆ ~RandomAssignment()
Test::Int::RandomAssignment::~RandomAssignment |
( |
void | | ) |
|
|
inlinevirtual |
Destructor.
Definition at line 104 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 98 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 99 of file int.hh.
The documentation for this class was generated from the following files: