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   
The right-linearity analysis is a global function dependency analysis.
showRightLinear :: AOutFormat -> Bool -> String   
hasRightLinearRules :: FuncDecl -> Bool   
linearExpr :: Expr -> Bool   

Exported operations:

rlinAnalysis :: Analysis Bool   

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   

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

hasRightLinearRules :: FuncDecl -> Bool   

linearExpr :: Expr -> Bool