Module Analysis.RightLinearity

Right-linearity analysis: check whether functions are defined by right-linear rules.

Author: Michael Hanus

Version: April 2013

Summary of exported operations:

rlinAnalysis :: Analysis Bool  Deterministic 
The right-linearity analysis is a global function dependency analysis.
showRightLinear :: AOutFormat -> Bool -> String  Deterministic 
hasRightLinearRules :: FuncDecl -> Bool  Deterministic 
linearExpr :: Expr -> Bool  Deterministic 

Exported operations:

rlinAnalysis :: Analysis Bool  Deterministic 

The right-linearity analysis is a global function dependency analysis. It assigns to a function a flag which is True if this function is right-linear, i.e., defined by right-linear rules and depend only on functions defined by right-linear rules.

showRightLinear :: AOutFormat -> Bool -> String  Deterministic 

Further infos:
  • solution complete, i.e., able to compute all solutions

hasRightLinearRules :: FuncDecl -> Bool  Deterministic 

linearExpr :: Expr -> Bool  Deterministic