Module Analysis.RightLinearity

Exported Functions

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