Module Analysis.RootReplaced

RootReplaced analysis: This analysis returns for each function f all functions to which this can be replaced at the root. For instance, if there are the definitions:

f x = g x
g x = h x
h x = k x : []

then the root replacements of f are [g,h].

This analysis could be useful to detect simple loops, e.g., if a function is in its root replacement. This is the purpose of the analysis RootCyclic which assigns True to some operation if this operation might cause a cyclic root replacement.

Author: Michael Hanus

Version: January 2017

Summary of exported operations:

showRootRepl :: AOutFormat -> ([(String,String)],[Int]) -> String   
rootReplAnalysis :: Analysis ([(String,String)],[Int])   
Root replacement analysis.
showRootCyclic :: AOutFormat -> Bool -> String   
rootCyclicAnalysis :: Analysis Bool   
Root cyclic analysis.

Exported operations:

showRootRepl :: AOutFormat -> ([(String,String)],[Int]) -> String   

rootReplAnalysis :: Analysis ([(String,String)],[Int])   

Root replacement analysis.

showRootCyclic :: AOutFormat -> Bool -> String   

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

rootCyclicAnalysis :: Analysis Bool   

Root cyclic analysis.