libTriton  version 1.0 build 1532
Public Member Functions | List of all members
triton::engines::lifters::LiftingToSMT Class Reference

The lifting to SMT class. More...

#include <liftingToSMT.hpp>

Inheritance diagram for triton::engines::lifters::LiftingToSMT:

Public Member Functions

TRITON_EXPORT LiftingToSMT (const triton::ast::SharedAstContext &astCtxt, triton::engines::symbolic::SymbolicEngine *symbolic)
 Constructor. More...
 
TRITON_EXPORT std::ostream & liftToSMT (std::ostream &stream, const triton::engines::symbolic::SharedSymbolicExpression &expr, bool assert_=false, bool icomment=false)
 Lifts a symbolic expression and all its references to SMT format. If assert_ is true, then (assert <expr>). If icomment is true, then print instructions assembly in expression comments. More...
 

Detailed Description

The lifting to SMT class.

Definition at line 45 of file liftingToSMT.hpp.

Constructor & Destructor Documentation

◆ LiftingToSMT()

triton::engines::lifters::LiftingToSMT::LiftingToSMT ( const triton::ast::SharedAstContext astCtxt,
triton::engines::symbolic::SymbolicEngine symbolic 
)

Constructor.

Definition at line 22 of file liftingToSMT.cpp.

Member Function Documentation

◆ liftToSMT()

std::ostream & triton::engines::lifters::LiftingToSMT::liftToSMT ( std::ostream &  stream,
const triton::engines::symbolic::SharedSymbolicExpression expr,
bool  assert_ = false,
bool  icomment = false 
)

Lifts a symbolic expression and all its references to SMT format. If assert_ is true, then (assert <expr>). If icomment is true, then print instructions assembly in expression comments.

Definition at line 117 of file liftingToSMT.cpp.


The documentation for this class was generated from the following files: