Package cass-analysis

Modules:

Analysis.Demandedness Analysis.Deterministic Analysis.Files Analysis.Groundness Analysis.HigherOrder Analysis.Indeterministic Analysis.Logging Analysis.NondetOps Analysis.ProgInfo Analysis.RequiredValue Analysis.RequiredValues Analysis.Residuation Analysis.RightLinearity Analysis.RootReplaced Analysis.SensibleTypes Analysis.SolutionCompleteness Analysis.TermDomain Analysis.Termination Analysis.TotallyDefined Analysis.Types Analysis.TypeUsage Analysis.UnsafeModule Analysis.Values

Explanations of the icons used in the documentation:

Deterministic   Operation is deterministic, i.e., defined by exclusive rules and depend only on deterministic operations
Non-deterministic   Operation might be non-deterministic, i.e., it is defined by overlapping rules or depend on non-deterministic operations