Groundness/non-determinism effect analysis based on Brassel/Hanus'05.
Author: Michael Hanus
Version: May 2013
showGround
:: AOutFormat -> Ground -> String
|
groundAnalysis
:: Analysis Ground
|
showNDEffect
:: AOutFormat -> NDEffect -> String
|
ndEffectAnalysis
:: Analysis NDEffect
|
Type to represent groundness information. Definitely ground (G), maybe non-ground (A), or maybe non-ground if i-th argument is non-ground (P [...,i,...]).
Constructors:
G
:: Ground
A
:: Ground
P
:: [Int] -> Ground
Type to represent non-determinism effects. A non-determinism effect can be due to an Or (first argument), due to a narrowing step (second argument), or if i-th argument is non-ground (if i is a member of the third argument).
Constructors:
NDEffect
:: Bool -> Bool -> [Int] -> NDEffect
|
|