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 SolverModel &	operator= (const SolverModel &other)
	Copies a SolverModel.

TRITON_EXPORT bool	operator== (const SolverModel &other) const
	Operator ==.

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 triton::uint32	getSize (void) const
	Returns the size (in bits) of the symbolic variable.

TRITON_EXPORT const triton::engines::symbolic::SharedSymbolicVariable &	getVariable (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.

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