libTriton  version 1.0 build 1549
liftingToSMT.hpp
Go to the documentation of this file.
1
2/*
3** Copyright (C) - Triton
4**
5** This program is under the terms of the Apache License 2.0.
6*/
7
8#ifndef TRITON_LIFTINGTOSMT_HPP
9#define TRITON_LIFTINGTOSMT_HPP
10
11#include <ostream>
12
13#include <triton/astContext.hpp>
14#include <triton/dllexport.hpp>
17
18
19
21namespace triton {
28 namespace engines {
36 namespace lifters {
44
46 private:
49
52
54 void requiredFunctions(std::ostream& stream);
55
56 public:
59
61 TRITON_EXPORT std::ostream& liftToSMT(std::ostream& stream, const triton::engines::symbolic::SharedSymbolicExpression& expr, bool assert_=false, bool icomment=false);
62 };
63
65 };
67 };
69};
70
71#endif /* LIFTINGTOSMT_HPP */
TRITON_EXPORT LiftingToSMT(const triton::ast::SharedAstContext &astCtxt, triton::engines::symbolic::SymbolicEngine *symbolic)
Constructor.
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,...
std::shared_ptr< triton::ast::AstContext > SharedAstContext
Shared AST context.
Definition: ast.hpp:65
std::shared_ptr< triton::engines::symbolic::SymbolicExpression > SharedSymbolicExpression
Shared Symbolic Expression.
Definition: ast.hpp:40
The Triton namespace.