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

nameOccStr

nameUnique

varName

null_addr

addrInt

init_status

incStatusSteps

updateStatusId

empty_stack

popStack

pushStack

stackToList

empty_locals

lookupLocals

insertLocals

insertLocalsList

localsToList

empty_heap

lookupHeap

allocHeap

allocHeapList

insertHeap

insertHeapList

heapToList

empty_globals

lookupGlobals

insertGlobals

insertGlobalsList

globalsToList

empty_pathcons

insertPathCons

insertPathConsList

pathconsToList

lookupValue

vlookupHeap

memAddrType