SSTG.Core.Execution.Engine

Symbolic STG Execution Engine

Documentation

loadState :: Program -> LoadResult

Load State Guess the main function.

loadStateEntry :: String -> Program -> LoadResult

Specified Entry Point Load

data LoadResult

Load Result

Constructors

LoadOkay State

LoadGuess State [Binding]

LoadError String

Instances

Eq LoadResult

Methods

(==) :: LoadResult -> LoadResult -> Bool

(/=) :: LoadResult -> LoadResult -> Bool

Read LoadResult

Methods

readsPrec :: Int -> ReadS LoadResult

readList :: ReadS [LoadResult]

readPrec :: ReadPrec LoadResult

readListPrec :: ReadPrec [LoadResult]

Show LoadResult

Methods

showsPrec :: Int -> LoadResult -> ShowS

show :: LoadResult -> String

showList :: [LoadResult] -> ShowS

data RunFlags

Run Flags

Constructors

RunFlags

Fields

• step_count :: Int
• step_type :: StepType
• dump_dir :: Maybe FilePath

Instances

Eq RunFlags

Methods

(==) :: RunFlags -> RunFlags -> Bool

(/=) :: RunFlags -> RunFlags -> Bool

Read RunFlags

Methods

readsPrec :: Int -> ReadS RunFlags

readList :: ReadS [RunFlags]

readPrec :: ReadPrec RunFlags

readListPrec :: ReadPrec [RunFlags]

Show RunFlags

Methods

showsPrec :: Int -> RunFlags -> ShowS

show :: RunFlags -> String

showList :: [RunFlags] -> ShowS

data StepType

Step Type

Constructors

BFS

DFS

BFSLogged

DFSLogged

Instances

Eq StepType

Methods

(==) :: StepType -> StepType -> Bool

(/=) :: StepType -> StepType -> Bool

Read StepType

Methods

readsPrec :: Int -> ReadS StepType

readList :: ReadS [StepType]

readPrec :: ReadPrec StepType

readListPrec :: ReadPrec [StepType]

Show StepType

Methods

showsPrec :: Int -> StepType -> ShowS

show :: StepType -> String

showList :: [StepType] -> ShowS

execute :: RunFlags -> State -> [([LiveState], [DeadState])]

execute1 :: Int -> State -> ([LiveState], [DeadState])