#include <RandomIndexes.h>
Public Member Functions | |
| RandomIndexes (const Decomposition &decomposition, Randomizer &randomizer) | |
| Constructor. | |
| void | init (const vlist_type &uninstantiatedVariables) |
| Calculate all the random indexes. | |
| void | init (const Variable &variable, Domain &domain) |
| void | done () |
| Clean up the cache. | |
| void | setVariable (const Variable &variable) |
| size_t | randomIndex (const Value &value) const |
| const hash_map< const Value *, int > & | randomIndexes (const Variable &variable) const |
| bool | contains (const Variable &variable) const |
| void | clear () |
| Clear the entire cache. | |
| bool | empty () |
| Return `true' if the cache is empty, `false' otherwise. | |
|
|
Check whether or not the cache contains data for the values of a given variable.
|
|
||||||||||||
|
Calculate the random indexes for the values in the domain of the given variable.
|
|
|
Return the random index of a given value.
|
|
|
Return the map of random indexes for the values belonging to the domain of a given variable.
|
|
|
Set the variable whose values are to be compared.
|
1.3.9.1