Module CurryDoc.AnaInfo

Datatype and operations to handle analysis information in CurryDoc.

Author: Michael Hanus

Version: April 2016

Summary of exported operations:

getNondetInfo :: AnaInfo -> (String,String) -> Bool  Deterministic 
getCompleteInfo :: AnaInfo -> (String,String) -> Completeness  Deterministic 
getIndetInfo :: AnaInfo -> (String,String) -> Bool  Deterministic 
getOpCompleteInfo :: AnaInfo -> (String,String) -> Bool  Deterministic 
getFunctionInfo :: [((String,String),a)] -> (String,String) -> a  Deterministic 

Exported datatypes:

AnaInfo

Constructors:

Exported operations:

getNondetInfo :: AnaInfo -> (String,String) -> Bool  Deterministic 

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

getCompleteInfo :: AnaInfo -> (String,String) -> Completeness  Deterministic 

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

getIndetInfo :: AnaInfo -> (String,String) -> Bool  Deterministic 

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

getOpCompleteInfo :: AnaInfo -> (String,String) -> Bool  Deterministic 

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

getFunctionInfo :: [((String,String),a)] -> (String,String) -> a  Deterministic