libTriton  version 0.6 build 1375
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 std::string &name, triton::uint512 value)
 Constructor.
 
TRITON_EXPORT SolverModel (const SolverModel &other)
 Constructor by copy.
 
TRITON_EXPORT SolverModeloperator= (const SolverModel &other)
 Copies a SolverModel.
 
TRITON_EXPORT const std::string & getName (void) const
 Returns the name of the variable.
 
TRITON_EXPORT triton::uint32 getId (void) const
 Returns the id of the variable.
 
TRITON_EXPORT triton::uint512 getValue (void) const
 Returns the value of the model.
 

Protected Attributes

std::string name
 The name of the variable. Names are always something like this: SymVar_X.
 
triton::uint32 id
 The id of the variable.
 
triton::uint512 value
 The value of the model.
 

Detailed Description

This class is used to represent a constraint model solved.

Definition at line 41 of file solverModel.hpp.


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