| definition: |
initState :: [IFunction] -> Graph -> NodeID -> State initState prog graph nid = State prog graph [Task (CNode nid) [] []] [] Nothing |
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
-- Initial state for a program, graph, and root node id. |
| failfree: |
(_, _, _) |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_,_) |-> {State}}
|
| name: |
initState |
| precedence: |
no precedence defined |
| result-values: |
{State}
|
| signature: |
[ICurry.Types.IFunction] -> ICurry.Graph.Graph -> Prelude.Int -> State |
| solution-complete: |
operationally complete operation |
| terminating: |
yes |
| totally-defined: |
reducible on all ground data terms |