Exported names:
- Operations:
- analyseSolutionComplete
Imported modules:

Module CurryBrowseAnalysis.SolutionComplete

Analysis for solution completeness: check whether functions are solution complete, i.e., calls only non-rigid functions

Author: Michael Hanus

Version: November 2020

Summary of exported operations:

analyseSolutionComplete
                  ::  [FuncDecl] -> [((String,String),Bool)]

Deterministic

Exported operations:

analyseSolutionComplete :: [FuncDecl] -> [((String,String),Bool)]