Contents
Index
camfort-0.902: CamFort - Cambridge Fortran infrastructure
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
Z
:
!
<
>
All
Index - R
ReadOnce
Camfort.Specification.Stencils.Grammar
readParseSrcDir
Camfort.Input
readParseSrcDirWithModFiles
Camfort.Input
readParseSrcFile
Camfort.Input
readParseSrcFileWithModFiles
Camfort.Input
reassociateSourceText
Camfort.Input
reduceCollect
Camfort.Helpers
refactorBlocks
Camfort.Output
Refactored
Camfort.Reprint
refactored
Camfort.Analysis.Annotations
refactorEquivalences
Camfort.Transformation.EquivalenceElim
Refactoring
Camfort.Reprint
refactoring
Camfort.Output
refactoringsForBlocks
Camfort.Output
refactoringsForProgramUnits
Camfort.Output
RefactorInPlace
Camfort.Functionality
refactorProgramUnits
Camfort.Output
refactorStatements
Camfort.Output
refactorSyntax
Camfort.Output
ReflEq
Camfort.Helpers.Vec
Region
1 (Type/Class)
Camfort.Specification.Stencils.Syntax
2 (Type/Class)
Camfort.Specification.Stencils.Grammar
RegionDec
Camfort.Specification.Stencils.Grammar
RegionEnv
Camfort.Specification.Stencils.Syntax
regionPlus
Camfort.Specification.Stencils.Syntax
RegionProd
Camfort.Specification.Stencils.Syntax
RegionRig
Camfort.Specification.Stencils.Syntax
regionsToIntervals
Camfort.Specification.Stencils.DenotationalSemantics
RegionSum
Camfort.Specification.Stencils.Syntax
relativeIxsToSpec
Camfort.Specification.Stencils.InferenceFrontend
relativise
Camfort.Specification.Stencils.InferenceFrontend
removeNewLines
Camfort.Output
RenamerCoercer
Camfort.Transformation.CommonBlockElim
renamerToUse
Camfort.Transformation.CommonBlockElim
Renaming
Camfort.Transformation.CommonBlockElim
replace
Camfort.Helpers.Vec
Report
Camfort.Analysis.Annotations
reprint
Camfort.Reprint
Reverse
1 (Type/Class)
Camfort.Helpers
2 (Data Constructor)
Camfort.Helpers
rGetDirContents
Camfort.Input
rGetDirContents'
Camfort.Input
RmEqState
Camfort.Transformation.EquivalenceElim
rref
Camfort.Specification.Units.InferenceBackend
runCompileUnits
Camfort.Specification.Units.InferenceFrontend
runCriticalVariables
Camfort.Specification.Units.InferenceFrontend
runInconsistentConstraints
Camfort.Specification.Units.InferenceFrontend
runInferer
Camfort.Specification.Stencils.InferenceFrontend
runInferVariables
Camfort.Specification.Units.InferenceFrontend
runSynthesis
Camfort.Specification.Units.Synthesis
runUnitSolver
Camfort.Specification.Units.Monad