Toggle navigation
PAKCS
All operations
All constructors
Curry Homepage
PAKCS Libraries
About CurryDoc
API Documentation of Package 'cass-analysis'
Modules:
Analysis.Demandedness
Analysis.Deterministic
Analysis.Files
Analysis.Groundness
Analysis.HigherOrder
Analysis.Indeterministic
Analysis.Logging
Analysis.ProgInfo
Analysis.RequiredValue
Analysis.RequiredValues
Analysis.RightLinearity
Analysis.RootReplaced
Analysis.SensibleTypes
Analysis.SolutionCompleteness
Analysis.Termination
Analysis.TotallyDefined
Analysis.Types
Analysis.TypeUsage
Explanations of the icons used in the documentation:
Operation is deterministic, i.e., defined by exclusive rules and depend only on deterministic operations
Operation might be non-deterministic, i.e., it is defined by overlapping rules or depend on non-deterministic operations