SSTG.Core.Execution.Stepping

Stepping Methods

Documentation

type LiveState = ([Rule], State)

A State that is not in value form yet, capable of being evaluated. A list of Rules is kept to denote reduction history.

type DeadState = ([Rule], State)

A State that is in value form. A list of Rules is kept to denote reduction history.

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

Run bounded breadth-first-search of the execution space with an Int to denote the maximum number of steps to take.

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

Run bounded breadth-first-search of the execution state with an Int to denote the maximum number of steps to take. We keep a list to track a history of all the execution snapshots. As it stands, this is currently very NOT optimized.

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

Currently undefined.

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

Currently undefined.