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

null_addr

memAddrInt

init_status

incStatusSteps

updateStatusId

empty_stack

popStack

pushStack

stackToList

empty_locals

lookupLocals

insertLocals

insertLocalsList

localsToList

empty_heap

lookupHeap

insertHeapObj

insertHeapObjList

insertHeapRedir

allocHeap

allocHeapList

heapToList

empty_globals

lookupGlobals

insertGlobals

insertGlobalsList

globalsToList

empty_pathcons

insertPathCons

insertPathConsList

pathconsToList

lookupValue

vlookupHeap

memAddrType