| definition: |
genMainCalls :: ADom a -> [Rule] -> [(String,[a])]
genMainCalls (ADom abot avar _ _ _ _ _) rules =
concatMap genStrictCalls (allFunctions rules)
where
genStrictCalls (f,n) = map genStrictCall [1..n]
where genStrictCall i = (f, replace abot (i-1) (map avar [1..n]))
|
| demand: |
argument 1 |
| deterministic: |
deterministic operation |
| documentation: |
-- get standard main calls (i.e., for each function f/n and each
-- i \in [1..n] the call f(var_1,...,var_{i-1},bottom,var_{i+1},...,var_n))
-- from the rules:
|
| failfree: |
(_, _) |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{({ADom},_) |-> _}
|
| name: |
genMainCalls |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
ADom a -> [TRS.Rule] -> [(String, [a])] |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |