libTriton version 1.0 build 1592
|
Go to the source code of this file.
Classes | |
class | triton::engines::synthesis::ConstantEntry |
Entry of the oracle table for constant synthesis. More... | |
class | triton::engines::synthesis::UnaryEntry |
Entry of the oracle table for unary operators synthesis. More... | |
class | triton::engines::synthesis::BinaryEntry |
Entry of the oracle table for binary operators synthesis. More... | |
class | triton::engines::synthesis::OpEncoding< N > |
This class is used to encode operators and variables ordering. More... | |
Namespaces | |
namespace | triton |
The Triton namespace. | |
namespace | triton::engines |
The Engines namespace. | |
namespace | triton::engines::synthesis |
The Synthesis namespace. | |
Functions | |
template<std::size_t N> | |
bool | triton::engines::synthesis::operator< (const OpEncoding< N > &obj1, const OpEncoding< N > &obj2) |
Operator implementation in order to use OpEncoding as key in a std::map. | |