Collaboration diagram for Symbolic:

Classes
class	triton::engines::symbolic::PathConstraint
	The path constraint class. More...

class	triton::engines::symbolic::PathManager
	The path manager class. More...

class	triton::engines::symbolic::SymbolicEngine
	The symbolic engine class. More...

class	triton::engines::symbolic::SymbolicExpression
	The symbolic expression class. More...

class	triton::engines::symbolic::SymbolicSimplification
	The symbolic simplification class. More...

class	triton::engines::symbolic::SymbolicVariable
	The symbolic variable class. More...

Typedefs
using	triton::engines::symbolic::SharedSymbolicExpression = std::shared_ptr<triton::engines::symbolic::SymbolicExpression>
	Shared Symbolic Expression.

using	triton::engines::symbolic::WeakSymbolicExpression = std::weak_ptr<triton::engines::symbolic::SymbolicExpression>
	Weak Symbolic Expression.

using	triton::engines::symbolic::SharedSymbolicVariable = std::shared_ptr<triton::engines::symbolic::SymbolicVariable>
	Shared Symbolic variable.

using	triton::engines::symbolic::WeakSymbolicVariable = std::weak_ptr<triton::engines::symbolic::SymbolicVariable>
	Weak Symbolic variable.

Enumerations
enum	triton::engines::symbolic::expression_e { triton::engines::symbolic::MEMORY_EXPRESSION , triton::engines::symbolic::REGISTER_EXPRESSION , triton::engines::symbolic::VOLATILE_EXPRESSION }
	Type of symbolic expressions. More...

enum	triton::engines::symbolic::variable_e { triton::engines::symbolic::MEMORY_VARIABLE , triton::engines::symbolic::REGISTER_VARIABLE , triton::engines::symbolic::UNDEFINED_VARIABLE }
	Type of symbolic variable. More...

Functions
std::ostream &	triton::engines::symbolic::operator<< (std::ostream &stream, const SymbolicExpression &symExpr)
	Displays a symbolic expression.

std::ostream &	triton::engines::symbolic::operator<< (std::ostream &stream, const SymbolicExpression *symExpr)
	Displays a symbolic expression.

std::ostream &	triton::engines::symbolic::operator<< (std::ostream &stream, const SymbolicVariable &symVar)
	Displays a symbolic variable.

std::ostream &	triton::engines::symbolic::operator<< (std::ostream &stream, const SymbolicVariable *symVar)
	Displays a symbolic variable.

bool	triton::engines::symbolic::operator< (const SymbolicVariable &symvar1, const SymbolicVariable &symvar2)
	Compares two symbolic variables.

Detailed Description

Typedef Documentation

◆ SharedSymbolicExpression

typedef std::shared_ptr< triton::engines::symbolic::SymbolicExpression > triton::engines::symbolic::SharedSymbolicExpression = std::shared_ptr<triton::engines::symbolic::SymbolicExpression>

Shared Symbolic Expression.

Definition at line 40 of file ast.hpp.

◆ SharedSymbolicVariable

typedef std::shared_ptr< triton::engines::symbolic::SymbolicVariable > triton::engines::symbolic::SharedSymbolicVariable = std::shared_ptr<triton::engines::symbolic::SymbolicVariable>

Shared Symbolic variable.

Definition at line 43 of file ast.hpp.

◆ WeakSymbolicExpression

using triton::engines::symbolic::WeakSymbolicExpression = std::weak_ptr<triton::engines::symbolic::SymbolicExpression>

Weak Symbolic Expression.

Definition at line 168 of file symbolicExpression.hpp.

◆ WeakSymbolicVariable

using triton::engines::symbolic::WeakSymbolicVariable = std::weak_ptr<triton::engines::symbolic::SymbolicVariable>

Weak Symbolic variable.

Definition at line 49 of file symbolicVariable.hpp.

Enumeration Type Documentation

◆ expression_e

enum triton::engines::symbolic::expression_e

Type of symbolic expressions.

Enumerator
MEMORY_EXPRESSION	Assigned to a memory expression.
REGISTER_EXPRESSION	Assigned to a register expression.
VOLATILE_EXPRESSION	Assigned to a volatile expression.

Definition at line 40 of file symbolicEnums.hpp.

◆ variable_e

enum triton::engines::symbolic::variable_e

Type of symbolic variable.

Enumerator
MEMORY_VARIABLE	Variable assigned to a memory.
REGISTER_VARIABLE	Variable assigned to a register.
UNDEFINED_VARIABLE	Undefined assignment.

Definition at line 47 of file symbolicEnums.hpp.

Function Documentation

◆ operator<()

TRITON_EXPORT bool triton::engines::symbolic::operator<	(	const SymbolicVariable &	symvar1,
		const SymbolicVariable &	symvar2 )

Compares two symbolic variables.

Definition at line 122 of file symbolicVariable.cpp.

◆ operator<<() [1/4]

TRITON_EXPORT std::ostream & triton::engines::symbolic::operator<<	(	std::ostream &	stream,
		const SymbolicExpression &	symExpr )

Displays a symbolic expression.

Definition at line 283 of file symbolicExpression.cpp.

◆ operator<<() [2/4]

TRITON_EXPORT std::ostream & triton::engines::symbolic::operator<<	(	std::ostream &	stream,
		const SymbolicExpression *	symExpr )

Displays a symbolic expression.

Definition at line 289 of file symbolicExpression.cpp.

◆ operator<<() [3/4]

TRITON_EXPORT std::ostream & triton::engines::symbolic::operator<<	(	std::ostream &	stream,
		const SymbolicVariable &	symVar )

Displays a symbolic variable.

Definition at line 107 of file symbolicVariable.cpp.

◆ operator<<() [4/4]

TRITON_EXPORT std::ostream & triton::engines::symbolic::operator<<	(	std::ostream &	stream,
		const SymbolicVariable *	symVar )