SSTG.Core.Execution.Support

data SymbolicT s a

fmap

pure

(<*>)

return

(>>=)

data State

data Symbol

data Status

data Stack

data Frame

data MemAddr

data Value

data Locals

data Heap

data HeapObj

data Globals

data Code

data PathCons

data Constraint

data SymLinks

nameOccStr

nameUnique

varName

nullAddr

addrInt

emptyStack

popStack

pushStack

stackToList

emptyLocals

lookupLocals

insertLocals

insertLocalsList

localsToList

emptyHeap

lookupHeap

allocHeap

allocHeapList

insertHeap

insertHeapList

heapToList

emptyGlobals

lookupGlobals

insertGlobals

insertGlobalsList

globalsToList

emptyPathCons

insertPathCons

insertPathConsList

pathconsToList

emptySymLinks

insertSymLinks

symlinksToList

lookupValue

vlookupHeap

memAddrType