libTriton  version 0.7 build 1407
Classes | Enumerations | Functions
triton::engines::solver Namespace Reference

The Solver namespace. More...

Classes

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

Enumerations

enum  solver_e { SOLVER_INVALID = 0, SOLVER_CUSTOM, SOLVER_Z3 }
 

Functions

std::ostream & operator<< (std::ostream &stream, const SolverModel &model)
 Display a solver model.
 
std::ostream & operator<< (std::ostream &stream, const SolverModel *model)
 Display a solver model.
 
z3::expr mk_or (z3::expr_vector args)
 Wrapper to handle variadict number of arguments or'd togethers.
 

Detailed Description

The Solver namespace.