triton::engines::solver::SolverInterface Member List

This is the complete list of members for triton::engines::solver::SolverInterface, 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) const =0	triton::engines::solver::SolverInterface	pure virtual
getModels(const triton::ast::SharedAbstractNode &node, triton::uint32 limit, triton::engines::solver::status_e *status=nullptr, triton::uint32 timeout=0, triton::uint32 *solvingTime=nullptr) const =0	triton::engines::solver::SolverInterface	pure virtual
getName(void) const =0	triton::engines::solver::SolverInterface	pure virtual
isSat(const triton::ast::SharedAbstractNode &node, triton::engines::solver::status_e *status=nullptr, triton::uint32 timeout=0, triton::uint32 *solvingTime=nullptr) const =0	triton::engines::solver::SolverInterface	pure virtual
setMemoryLimit(triton::uint32 mem)=0	triton::engines::solver::SolverInterface	pure virtual
setTimeout(triton::uint32 ms)=0	triton::engines::solver::SolverInterface	pure virtual
~SolverInterface()	triton::engines::solver::SolverInterface	inlinevirtual