Index to all operations

A B C D E F G H I J L M N O P R S T U W _

A

aCons  (Analysis.TermDomain)
aLit  (Analysis.TermDomain)
analysisName  (Analysis.Types)
anyType  (Analysis.TermDomain)
argTypesOfCons  (Analysis.TermDomain)

A B C D E F G H I J L M N O P R S T U W _

B

baseAnalysisNames (Analysis.Types)

A B C D E F G H I J L M N O P R S T U W _

C

combined2SimpleFuncAnalysis  (Analysis.Types)
combinedDependencyFuncAnalysis  (Analysis.Types)
combinedDependencyTypeAnalysis  (Analysis.Types)
combinedSimpleFuncAnalysis  (Analysis.Types)
combinedSimpleTypeAnalysis  (Analysis.Types)
combineProgInfo  (Analysis.ProgInfo)
consOfType  (Analysis.TermDomain)
createDirectoryR  (Analysis.Files)

A B C D E F G H I J L M N O P R S T U W _

D

daFunc  (Analysis.Demandedness)
daFuncRule  (Analysis.Demandedness)
debugMessage  (Analysis.Logging)
debugString  (Analysis.Logging)
deleteAllAnalysisFiles  (Analysis.Files)
demandAnalysis  (Analysis.Demandedness)
dependencyFuncAnalysis  (Analysis.Types)
dependencyModuleAnalysis  (Analysis.Types)
dependencyTypeAnalysis  (Analysis.Types)

A B C D E F G H I J L M N O P R S T U W _

E

emptyProgInfo  (Analysis.ProgInfo)
emptyType  (Analysis.TermDomain)
equalProgInfo  (Analysis.ProgInfo)

A B C D E F G H I J L M N O P R S T U W _

F

findModuleSourceInLoadPath  (Analysis.Files)
flat2intName  (Analysis.Files)
flatCurryFileNewer  (Analysis.Files)
functionalAnalysis  (Analysis.Deterministic)

A B C D E F G H I J L M N O P R S T U W _

G

getAnalysisBaseFile  (Analysis.Files)
getAnalysisDirectory  (Analysis.Files)
getAnalysisPublicFile  (Analysis.Files)
getFlatCurryFileTime  (Analysis.Files)
getImportModuleListFile  (Analysis.Files)
getImports  (Analysis.Files)
getInterfaceInfos  (Analysis.Files)
getSourceFileTime  (Analysis.Files)
groundAnalysis  (Analysis.Groundness)

A B C D E F G H I J L M N O P R S T U W _

H

hasRightLinearRules  (Analysis.RightLinearity)
hiOrdCons  (Analysis.HigherOrder)
hiOrdFunc  (Analysis.HigherOrder)
hiOrdType  (Analysis.HigherOrder)

A B C D E F G H I J L M N O P R S T U W _

I

indetAnalysis  (Analysis.Indeterministic)
isAnyType  (Analysis.TermDomain)
isCombinedAnalysis  (Analysis.Types)
isEmptyType  (Analysis.TermDomain)
isFunctionAnalysis  (Analysis.Types)
isNondetDefined  (Analysis.Deterministic)
isSimpleAnalysis  (Analysis.Types)

A B C D E F G H I J L M N O P R S T U W _

J

joinType (Analysis.TermDomain)

A B C D E F G H I J L M N O P R S T U W _

L

linearExpr  (Analysis.RightLinearity)
lists2ProgInfo  (Analysis.ProgInfo)
litAsCons  (Analysis.TermDomain)
loadCompleteAnalysis  (Analysis.Files)
loadDefaultAnalysisValues  (Analysis.Files)
loadPublicAnalysis  (Analysis.Files)
lookupProgInfo  (Analysis.ProgInfo)
lub  (Analysis.Demandedness)
lubAType  (Analysis.RequiredValues)
lubAType  (Analysis.RequiredValue)
lubType  (Analysis.TermDomain)

A B C D E F G H I J L M N O P R S T U W _

M

mapProgInfo (Analysis.ProgInfo)

A B C D E F G H I J L M N O P R S T U W _

N

ndEffectAnalysis  (Analysis.Groundness)
nondetAnalysis  (Analysis.Deterministic)
nondetDepAllAnalysis  (Analysis.Deterministic)
nondetDepAnalysis  (Analysis.Deterministic)
nondetOperations  (Analysis.NondetOps)

A B C D E F G H I J L M N O P R S T U W _

O

overlapAnalysis (Analysis.Deterministic)

A B C D E F G H I J L M N O P R S T U W _

P

patCompAnalysis  (Analysis.TotallyDefined)
prelude  (Analysis.Demandedness)
productivityAnalysis  (Analysis.Termination)
progInfo2Lists  (Analysis.ProgInfo)
progInfo2XML  (Analysis.ProgInfo)
publicListFromProgInfo  (Analysis.ProgInfo)
publicProgInfo  (Analysis.ProgInfo)

A B C D E F G H I J L M N O P R S T U W _

R

readAnalysisFiles  (Analysis.ProgInfo)
readAnalysisPublicFile  (Analysis.ProgInfo)
readNewestFlatCurry  (Analysis.Files)
readNewestFlatCurryInt  (Analysis.Files)
reqValueAnalysis  (Analysis.RequiredValues)
reqValueAnalysis  (Analysis.RequiredValue)
residuationAnalysis  (Analysis.Residuation)
resultValueAnalysis2  (Analysis.Values)
resultValueAnalysis5  (Analysis.Values)
resultValueAnalysisTop  (Analysis.Values)
rlinAnalysis  (Analysis.RightLinearity)
rootCyclicAnalysis  (Analysis.RootReplaced)
rootReplAnalysis  (Analysis.RootReplaced)

A B C D E F G H I J L M N O P R S T U W _

S

sensibleType  (Analysis.SensibleTypes)
showAFType  (Analysis.RequiredValues)
showAFType  (Analysis.RequiredValue)
showAType  (Analysis.RequiredValues)
showAType  (Analysis.RequiredValue)
showComplete  (Analysis.TotallyDefined)
showDemand  (Analysis.Demandedness)
showDet  (Analysis.Deterministic)
showFunctional  (Analysis.Deterministic)
showGround  (Analysis.Groundness)
showIndet  (Analysis.Indeterministic)
showNDEffect  (Analysis.Groundness)
showNonDetDeps  (Analysis.Deterministic)
showNondet  (Analysis.NondetOps)
showOrder  (Analysis.HigherOrder)
showOverlap  (Analysis.Deterministic)
showProductivity  (Analysis.Termination)
showProgInfo  (Analysis.ProgInfo)
showResInfo  (Analysis.Residuation)
showRightLinear  (Analysis.RightLinearity)
showRootCyclic  (Analysis.RootReplaced)
showRootRepl  (Analysis.RootReplaced)
showSensible  (Analysis.SensibleTypes)
showSibling  (Analysis.TotallyDefined)
showSiblingAndDecl  (Analysis.TotallyDefined)
showSolComplete  (Analysis.SolutionCompleteness)
showTermination  (Analysis.Termination)
showTotalFunc  (Analysis.TotallyDefined)
showTotally  (Analysis.TotallyDefined)
showType  (Analysis.TermDomain)
showTypeNames  (Analysis.TypeUsage)
showUnsafe  (Analysis.UnsafeModule)
showValue  (Analysis.Values)
siblingCons  (Analysis.TotallyDefined)
siblingConsAndDecl  (Analysis.TotallyDefined)
simpleConstructorAnalysis  (Analysis.Types)
simpleFuncAnalysis  (Analysis.Types)
simpleModuleAnalysis  (Analysis.Types)
simpleTypeAnalysis  (Analysis.Types)
solcompAnalysis  (Analysis.SolutionCompleteness)
startValue  (Analysis.Types)
storeAnalysisResult  (Analysis.Files)
storeImportModuleList  (Analysis.Files)

A B C D E F G H I J L M N O P R S T U W _

T

terminationAnalysis  (Analysis.Termination)
totalAnalysis  (Analysis.TotallyDefined)
totalFuncAnalysis  (Analysis.TotallyDefined)
typesInValuesAnalysis  (Analysis.TypeUsage)

A B C D E F G H I J L M N O P R S T U W _

U

unsafeModuleAnalysis (Analysis.UnsafeModule)

A B C D E F G H I J L M N O P R S T U W _

W

writeAnalysisFiles (Analysis.ProgInfo)

A B C D E F G H I J L M N O P R S T U W _

_

A B C D E F G H I J L M N O P R S T U W _