Package vivisect :: Package symboliks :: Module common :: Class SymbolikBase
[hide private]
[frames] | no frames]

Class SymbolikBase

source code

Instance Methods [hide private]
 
__init__(self) source code
 
__add__(self, other) source code
 
__iadd__(self, other) source code
 
__sub__(self, other) source code
 
__isub__(self, other) source code
 
__xor__(self, other) source code
 
__ixor__(self, other) source code
 
__lshift__(self, count) source code
 
__ilshift__(self, count) source code
 
__rshift__(self, count) source code
 
__irshift__(self, count) source code
 
__or__(self, other) source code
 
__ior__(self, other) source code
 
__and__(self, other) source code
 
__iand__(self, other) source code
 
__mod__(self, other) source code
 
__imod__(self, other) source code
 
__mul__(self, other) source code
 
__imul__(self, other) source code
 
__div__(self, other) source code
 
__idiv__(self, other) source code
 
__pow__(self, other) source code
 
__hash__(self) source code
 
__eq__(self, other) source code
 
__ne__(self, other) source code
 
_clearCache(self, symbase, ctx) source code
 
clearCache(self) source code
 
solve(self, emu=None)
Produce a reproducable answer based on the current state if provided.
source code
 
_solve(self, emu=None)
Produce a reproducable answer based on the current state if provided.
source code
 
reduce(self, emu=None)
Algebraic reduction and operator folding where possible.
source code
 
_reduce(self, emu=None)
Algebraic reduction and operator folding where possible.
source code
 
update(self, emu)
Return an updated representation for this symbolik state based on the given emulator.
source code
 
isDiscrete(self, emu=None)
Returns True if the given symbolik (from here down) does *not* depend on any variables or runtime values.
source code
 
walkTree(self, cb, ctx=None, walktag=None) source code
Class Variables [hide private]
  idgen = itertools.count()
Method Details [hide private]

reduce(self, emu=None)

source code 

Algebraic reduction and operator folding where possible. (INLINE!)

_reduce(self, emu=None)

source code 

Algebraic reduction and operator folding where possible. (INLINE!)

update(self, emu)

source code 

Return an updated representation for this symbolik state based on the given emulator. This is *NOT* inline.