kangaroo
1.0
the cbls library
|
Variable value tabu family. More...
#include "cbls/frames/index.hpp"
Go to the source code of this file.
Data Structures | |
class | VarValueTabu |
Variable value tabu family. More... | |
class | VarValueTabu::twinhash |
Hash function for variable–value binary tuples. More... | |
class | VarValueTabu::twinequal |
Equality of variable-value binary tuples. More... | |
Typedefs | |
typedef VarValueTabu | VvTabu |
Shortcut for VarValueTabu. | |
Variable value tabu family.