libTriton version 1.0 build 1590
Loading...
Searching...
No Matches
Classes | Namespaces | Typedefs | Functions
symbolicVariable.hpp File Reference
#include <memory>
#include <string>
#include <triton/dllexport.hpp>
#include <triton/symbolicEnums.hpp>
#include <triton/tritonTypes.hpp>
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

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

Namespaces

namespace  triton
 The Triton namespace.
 
namespace  triton::engines
 The Engines namespace.
 
namespace  triton::engines::symbolic
 The Symbolic Execution namespace.
 

Typedefs

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

Functions

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.