libTriton  version 0.6 build 1389
Classes | Enumerations | Functions
Solver
Collaboration diagram for Solver:

Classes

interface  triton::engines::solver::SolverEngine
 This class is used to interface with solvers. More...
 
interface  triton::engines::solver::SolverInterface
 This interface is used to interface with solvers. More...
 
class  triton::engines::solver::SolverModel
 This class is used to represent a constraint model solved. More...
 
class  triton::engines::solver::Z3Solver
 Solver engine using z3. More...
 

Enumerations

enum  triton::engines::solver::solvers_e { triton::engines::solver::SOLVER_INVALID = 0, triton::engines::solver::SOLVER_CUSTOM, triton::engines::solver::SOLVER_Z3, triton::engines::solver::SOLVER_LAST_ITEM }
 

Functions

std::ostream & triton::engines::solver::operator<< (std::ostream &stream, const SolverModel &model)
 Display a solver model.
 
std::ostream & triton::engines::solver::operator<< (std::ostream &stream, const SolverModel *model)
 Display a solver model.
 

Detailed Description

Enumeration Type Documentation

◆ solvers_e

The different kind of solvers

Enumerator
SOLVER_INVALID 

invalid solver.

SOLVER_CUSTOM 

custom solver.

SOLVER_Z3 

z3 solver.

SOLVER_LAST_ITEM 

must be the last item.

Definition at line 50 of file solverEngine.hpp.