libTriton version 1.0 build 1590
Loading...
Searching...
No Matches
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 =0triton::engines::solver::SolverInterfacepure 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 =0triton::engines::solver::SolverInterfacepure virtual
getName(void) const =0triton::engines::solver::SolverInterfacepure virtual
isSat(const triton::ast::SharedAbstractNode &node, triton::engines::solver::status_e *status=nullptr, triton::uint32 timeout=0, triton::uint32 *solvingTime=nullptr) const =0triton::engines::solver::SolverInterfacepure virtual
setMemoryLimit(triton::uint32 mem)=0triton::engines::solver::SolverInterfacepure virtual
setTimeout(triton::uint32 ms)=0triton::engines::solver::SolverInterfacepure virtual
~SolverInterface()triton::engines::solver::SolverInterfaceinlinevirtual