Language.EFLINT.Explorer

Documentation

type Explorer = Explorer Label Config [Output]

type Label = (InputMap, Program)

data Instruction

Constructors

Execute [Program] InputMap

ExecuteOnce Program InputMap

Revert Ref Bool

Display Ref

DisplayFull Ref

ExplorationHeads

CreateExportExploration

LoadExportExploration ExecutionGraph

data Response

Constructors

ResultTrans Explorer [Output] (Config, Ref) (Config, Ref)

Path Path

Nodes [Node]

InvalidRevert

ExportExploration ExecutionGraph

LoadExploration Explorer

type Ref = Int

type Path = [(Node, (Label, [Output]), Node)]

type Node = (Ref, Config)

data N

Constructors

N

Fields

• ref :: Ref
• config :: Config

Instances

Eq N

Defined in Language.EFLINT.Explorer

Methods

(==) :: N -> N -> Bool

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

data Edge

Constructors

Edge

Fields

• source :: Ref
• target :: Ref
• po :: PO

Instances

Eq Edge

Defined in Language.EFLINT.Explorer

Methods

(==) :: Edge -> Edge -> Bool

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

data PO

Constructors

PO

Fields

• label :: Label
• output :: [Output]

Instances

Eq PO

Defined in Language.EFLINT.Explorer

Methods

(==) :: PO -> PO -> Bool

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

data ExecutionGraph

Constructors

ExecutionGraph

Fields

• current :: Ref
• nodes :: [N]
• edges :: [Edge]

showTree :: Explorer -> String

showTriggerTree :: TransInfo -> String

triggerTree :: TransInfo -> Tree TransInfo

get_last_edge :: Explorer -> Ref -> ((Ref, Config), (Label, [Output]), (Ref, Config))

init_tree_explorer :: Maybe (Spec, State) -> Explorer

init_graph_explorer :: Maybe (Spec, State) -> Explorer

defInterpreter :: (InputMap, Program) -> Config -> (Maybe Config, [Output])

run_ :: Explorer -> Instruction -> Response

convertToGraph :: (Ref, [(Ref, Config)], [(Ref, Ref, (Label, [Output]))]) -> ExecutionGraph

convertFromGraph :: ExecutionGraph -> (Ref, [(Ref, Config)], [(Ref, Ref, (Label, [Output]))])

convertToN :: (Ref, Config) -> N

convertFromN :: N -> (Ref, Config)

convertToEdges :: (Ref, Ref, (Label, [Output])) -> Edge

convertFromEdges :: Edge -> (Ref, Ref, (Label, [Output]))

convertFromPO :: PO -> (Label, [Output])