camfort-0.804: CamFort - Cambridge Fortran infrastructure

Index - R

RComonadCamfort.Traverse
readForparseSrcDirCamfort.Functionality
readForparseSrcFileCamfort.Functionality
ReadOnceCamfort.Specification.Stencils.Grammar
readParseSrcDirCamfort.Input
readParseSrcFileCamfort.Input
reassociateCamfort.Transformation.Syntax
ReduceCamfort.Analysis.Annotations
reduceCollectCamfort.Traverse
ReduceTypeCamfort.Analysis.Annotations
reducorCamfort.Specification.Stencils.InferenceBackend
refactorArgNameCamfort.Output
refactorDeclCamfort.Output
RefactoredCamfort.Reprint
refactoredCamfort.Analysis.Annotations
refactorEquivalencesCamfort.Transformation.EquivalenceElim
refactorFortranCamfort.Output
RefactoringCamfort.Reprint
refactoringForParCamfort.Output
refactoringLFCamfort.Output
refactorSpanCamfort.Transformation.Syntax
refactorSpanNCamfort.Transformation.Syntax
refactorUsesCamfort.Output
RefillCamfort.Traverse
refillCamfort.Traverse
ReflEqCamfort.Specification.Stencils.InferenceBackend
Region 
1 (Type/Class)Camfort.Specification.Stencils.Syntax
2 (Type/Class)Camfort.Specification.Stencils.Grammar
regionCamfort.Specification.Stencils.Syntax
RegionDecCamfort.Specification.Stencils.Grammar
RegionEnvCamfort.Specification.Stencils.Syntax
regionPlusCamfort.Specification.Stencils.Syntax
RegionProdCamfort.Specification.Stencils.Syntax
RegionRigCamfort.Specification.Stencils.Syntax
RegionSumCamfort.Specification.Stencils.Syntax
RegularCamfort.Analysis.Annotations
RegularAndConstantsCamfort.Analysis.Annotations
relativeIxsToSpecCamfort.Specification.Stencils.InferenceFrontend
relativiseCamfort.Specification.Stencils.InferenceFrontend
removeNewLinesCamfort.Output
RenamerCamfort.Transformation.Syntax
RenamerCoercerCamfort.Transformation.Syntax
renamerToUseCamfort.Transformation.CommonBlockElim
RenamingCamfort.Transformation.Syntax
ReportCamfort.Analysis.Annotations
reprintCamfort.Reprint
ResultCamfort.Specification.Stencils.Syntax
rextendCamfort.Traverse
rextractCamfort.Traverse
RfEqStateCamfort.Transformation.EquivalenceElim
rfmapCamfort.Traverse
RFunctorCamfort.Traverse
rGetDirContentsCamfort.Input
rhsExprCamfort.Analysis.Syntax
rmEquivalencesCamfort.Transformation.EquivalenceElim
rowCamfort.PrettyPrint
rrefCamfort.Specification.Units.InferenceBackend
runCriticalVariablesCamfort.Specification.Units.InferenceFrontend
runInconsistentConstraintsCamfort.Specification.Units.InferenceFrontend
runInfererCamfort.Specification.Stencils.InferenceFrontend
runInferVariablesCamfort.Specification.Units.InferenceFrontend
runSynthesisCamfort.Specification.Units.Synthesis
runUnitSolverCamfort.Specification.Units.Monad