libTriton  version 0.6 build 1389
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.
 
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.
 

Enumerations

enum  triton::engines::symbolic::symkind_e { triton::engines::symbolic::UNDEF = 0, triton::engines::symbolic::IMM, triton::engines::symbolic::MEM, triton::engines::symbolic::REG }
 Enumerates all kinds 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.
 

Detailed Description

Enumeration Type Documentation

◆ symkind_e

Enumerates all kinds of symbolic variable.

Enumerator
UNDEF 

Undefined.

IMM 

Assigned to an immediate.

MEM 

Assigned to a memory.

REG 

Assigned to a register.

Definition at line 45 of file symbolicEnums.hpp.