libTriton  version 1.0 build 1549
Classes | Typedefs | Enumerations | Functions
Symbolic
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. More...
 
using triton::engines::symbolic::WeakSymbolicExpression = std::weak_ptr< triton::engines::symbolic::SymbolicExpression >
 Weak Symbolic Expression. More...
 
using triton::engines::symbolic::SharedSymbolicVariable = std::shared_ptr< triton::engines::symbolic::SymbolicVariable >
 Shared Symbolic variable. More...
 
using triton::engines::symbolic::WeakSymbolicVariable = std::weak_ptr< triton::engines::symbolic::SymbolicVariable >
 Weak Symbolic variable. More...
 

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. More...
 
std::ostream & triton::engines::symbolic::operator<< (std::ostream &stream, const SymbolicExpression *symExpr)
 Displays a symbolic expression. More...
 
std::ostream & triton::engines::symbolic::operator<< (std::ostream &stream, const SymbolicVariable &symVar)
 Displays a symbolic variable. More...
 
std::ostream & triton::engines::symbolic::operator<< (std::ostream &stream, const SymbolicVariable *symVar)
 Displays a symbolic variable. More...
 
bool triton::engines::symbolic::operator< (const SymbolicVariable &symvar1, const SymbolicVariable &symvar2)
 Compares two symbolic variables. More...
 

Detailed Description

Typedef Documentation

◆ SharedSymbolicExpression

Shared Symbolic Expression.

Definition at line 40 of file ast.hpp.

◆ SharedSymbolicVariable

Shared Symbolic variable.

Definition at line 43 of file ast.hpp.

◆ WeakSymbolicExpression

Weak Symbolic Expression.

Definition at line 152 of file symbolicExpression.hpp.

◆ WeakSymbolicVariable

Weak Symbolic variable.

Definition at line 49 of file symbolicVariable.hpp.

Enumeration Type Documentation

◆ 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

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 228 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 234 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 
)

Displays a symbolic variable.

Definition at line 116 of file symbolicVariable.cpp.