libTriton  version 1.0 build 1549
triton::engines::solver::SolverEngine Member List

This is the complete list of members for triton::engines::solver::SolverEngine, including all inherited members.

getModel(const triton::ast::SharedAbstractNode &node, triton::engines::solver::status_e *status=nullptr, triton::uint32 timeout=0, triton::uint32 *solvingTime=nullptr) consttriton::engines::solver::SolverEngine
getModels(const triton::ast::SharedAbstractNode &node, triton::uint32 limit, triton::engines::solver::status_e *status=nullptr, triton::uint32 timeout=0, triton::uint32 *solvingTime=nullptr) consttriton::engines::solver::SolverEngine
getName(void) consttriton::engines::solver::SolverEngine
getSolver(void) consttriton::engines::solver::SolverEngine
getSolverInstance(void) consttriton::engines::solver::SolverEngine
isSat(const triton::ast::SharedAbstractNode &node, triton::engines::solver::status_e *status=nullptr, triton::uint32 timeout=0, triton::uint32 *solvingTime=nullptr) consttriton::engines::solver::SolverEngine
isValid(void) consttriton::engines::solver::SolverEngine
kindtriton::engines::solver::SolverEngineprotected
setCustomSolver(triton::engines::solver::SolverInterface *customSolver)triton::engines::solver::SolverEngine
setMemoryLimit(triton::uint32 mem)triton::engines::solver::SolverEngine
setSolver(triton::engines::solver::solver_e kind)triton::engines::solver::SolverEngine
setTimeout(triton::uint32 ms)triton::engines::solver::SolverEngine
solvertriton::engines::solver::SolverEngineprotected
SolverEngine()triton::engines::solver::SolverEngine