| definition: |
addTGState :: ICOptions -> State -> [TG.State] -> [TG.State]
addTGState icopts st states
| optTermGraph icopts = case (tasks st) of
-- also return state when only IReturn is currently in Tasks IBlock?
-- or always return state and only append it in runWith if it changed
tsk : _ -> if (not (null states)) && ((nstate) == (last states))
then states
else states ++ [nstate]
where nstate = TG.State rgraph (currentNodeOfTask tsk) (results st) (fp tsk)
[] -> states ++ [ TG.State rgraph 0 (results st) [] ]
| otherwise = states
where rgraph = reachableGraph (graph st) [graphRoot (graph st)]
fp (Task _ _ fingerprint) = fingerprint
|
| demand: |
arguments 1 3 |
| deterministic: |
deterministic operation |
| failfree: |
(_, _, {:})
|
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_,_) |-> _}
|
| name: |
addTGState |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
ICurry.Options.ICOptions -> State -> [TermGraph.XML.State] -> [TermGraph.XML.State] |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |