libTriton  version 0.7 build 1407
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.
 
TRITON_EXPORT SolverModel (const triton::engines::symbolic::SharedSymbolicVariable &variable, triton::uint512 value)
 Constructor.
 
TRITON_EXPORT SolverModel (const SolverModel &other)
 Constructor by copy.
 
TRITON_EXPORT SolverModeloperator= (const SolverModel &other)
 Copies a SolverModel.
 
TRITON_EXPORT triton::usize getId (void) const
 Returns the id of the variable.
 
TRITON_EXPORT triton::uint512 getValue (void) const
 Returns the value of the model.
 
TRITON_EXPORT const triton::engines::symbolic::SharedSymbolicVariablegetVariable (void) const
 Returns the symbolic variable.
 

Protected Attributes

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

Detailed Description

This class is used to represent a constraint model solved.

Definition at line 42 of file solverModel.hpp.


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