libTriton version 1.0 build 1590
Loading...
Searching...
No Matches
solverModel.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_SOLVERMODEL_H
9#define TRITON_SOLVERMODEL_H
10
11#include <string>
12
13#include <triton/dllexport.hpp>
16
17
18
20namespace triton {
26 namespace engines {
33 namespace solver {
41
43 protected:
46
49
50 private:
52 void copy(const SolverModel& other);
53
54 public:
56 TRITON_EXPORT SolverModel();
57
60
62 TRITON_EXPORT SolverModel(const SolverModel& other);
63
65 TRITON_EXPORT SolverModel& operator=(const SolverModel& other);
66
68 TRITON_EXPORT bool operator==(const SolverModel& other) const;
69
71 TRITON_EXPORT triton::usize getId(void) const;
72
74 TRITON_EXPORT triton::uint512 getValue(void) const;
75
77 TRITON_EXPORT triton::uint32 getSize(void) const;
78
81 };
82
84 TRITON_EXPORT std::ostream& operator<<(std::ostream& stream, const SolverModel& model);
85
87 TRITON_EXPORT std::ostream& operator<<(std::ostream& stream, const SolverModel* model);
88
90 };
92 };
94};
95
96#endif /* TRITON_SOLVERMODEL_H */
This class is used to represent a constraint model solved.
TRITON_EXPORT triton::usize getId(void) const
Returns the id of the variable.
TRITON_EXPORT SolverModel & operator=(const SolverModel &other)
Copies a SolverModel.
TRITON_EXPORT bool operator==(const SolverModel &other) const
Operator ==.
TRITON_EXPORT triton::uint32 getSize(void) const
Returns the size (in bits) of the symbolic variable.
TRITON_EXPORT SolverModel()
Constructor.
triton::uint512 value
The value of the model.
triton::engines::symbolic::SharedSymbolicVariable variable
The symbolic variable.
TRITON_EXPORT triton::uint512 getValue(void) const
Returns the value of the model.
TRITON_EXPORT const triton::engines::symbolic::SharedSymbolicVariable & getVariable(void) const
Returns the symbolic variable.
std::ostream & operator<<(std::ostream &stream, const SolverModel &model)
Display a solver model.
std::shared_ptr< triton::engines::symbolic::SymbolicVariable > SharedSymbolicVariable
Shared Symbolic variable.
Definition ast.hpp:43
std::size_t usize
unsigned MAX_INT 32 or 64 bits according to the CPU.
math::wide_integer::uint512_t uint512
unsigned 512-bits
std::uint32_t uint32
unisgned 32-bits
The Triton namespace.