libTriton  version 1.0 build 1558
Public Member Functions | Protected Attributes | List of all members
triton::engines::solver::SolverModel Class Reference

This class is used to represent a constraint model solved. More...

#include <solverModel.hpp>

Public Member Functions

TRITON_EXPORT SolverModel ()
 Constructor. More...
 
TRITON_EXPORT SolverModel (const triton::engines::symbolic::SharedSymbolicVariable &variable, triton::uint512 value)
 Constructor. More...
 
TRITON_EXPORT SolverModel (const SolverModel &other)
 Constructor by copy. More...
 
TRITON_EXPORT SolverModeloperator= (const SolverModel &other)
 Copies a SolverModel. More...
 
TRITON_EXPORT bool operator== (const SolverModel &other) const
 Operator ==. More...
 
TRITON_EXPORT triton::usize getId (void) const
 Returns the id of the variable. More...
 
TRITON_EXPORT triton::uint512 getValue (void) const
 Returns the value of the model. More...
 
TRITON_EXPORT triton::uint32 getSize (void) const
 Returns the size (in bits) of the symbolic variable. More...
 
TRITON_EXPORT const triton::engines::symbolic::SharedSymbolicVariablegetVariable (void) const
 Returns the symbolic variable. More...
 

Protected Attributes

triton::engines::symbolic::SharedSymbolicVariable variable
 The symbolic variable. More...
 
triton::uint512 value
 The value of the model. More...
 

Detailed Description

This class is used to represent a constraint model solved.

Definition at line 42 of file solverModel.hpp.

Constructor & Destructor Documentation

◆ SolverModel() [1/3]

triton::engines::solver::SolverModel::SolverModel ( )

Constructor.

Definition at line 19 of file solverModel.cpp.

◆ SolverModel() [2/3]

triton::engines::solver::SolverModel::SolverModel ( const triton::engines::symbolic::SharedSymbolicVariable variable,
triton::uint512  value 
)

Constructor.

Definition at line 24 of file solverModel.cpp.

◆ SolverModel() [3/3]

triton::engines::solver::SolverModel::SolverModel ( const SolverModel other)

Constructor by copy.

Definition at line 30 of file solverModel.cpp.

Member Function Documentation

◆ getId()

triton::usize triton::engines::solver::SolverModel::getId ( void  ) const

Returns the id of the variable.

Definition at line 41 of file solverModel.cpp.

◆ getSize()

triton::uint32 triton::engines::solver::SolverModel::getSize ( void  ) const

Returns the size (in bits) of the symbolic variable.

Definition at line 51 of file solverModel.cpp.

◆ getValue()

triton::uint512 triton::engines::solver::SolverModel::getValue ( void  ) const

Returns the value of the model.

Definition at line 46 of file solverModel.cpp.

◆ getVariable()

const triton::engines::symbolic::SharedSymbolicVariable & triton::engines::solver::SolverModel::getVariable ( void  ) const

Returns the symbolic variable.

Definition at line 56 of file solverModel.cpp.

◆ operator=()

SolverModel & triton::engines::solver::SolverModel::operator= ( const SolverModel other)

Copies a SolverModel.

Definition at line 61 of file solverModel.cpp.

◆ operator==()

bool triton::engines::solver::SolverModel::operator== ( const SolverModel other) const

Operator ==.

Definition at line 67 of file solverModel.cpp.

Member Data Documentation

◆ value

triton::uint512 triton::engines::solver::SolverModel::value
protected

The value of the model.

Definition at line 48 of file solverModel.hpp.

◆ variable

triton::engines::symbolic::SharedSymbolicVariable triton::engines::solver::SolverModel::variable
protected

The symbolic variable.

Definition at line 45 of file solverModel.hpp.


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