A | |
1 (Data Constructor) | Camfort.Analysis.Annotations |
2 (Type/Class) | Camfort.Analysis.Annotations |
a | Camfort.Specification.Stencils.Synthesis |
A1 | Camfort.PrettyPrint |
absoluteRep | Camfort.Specification.Stencils.Syntax |
absorbReflexive | Camfort.Specification.Stencils.Syntax |
absorbReflexive' | Camfort.Specification.Stencils.Syntax |
Access | Camfort.Analysis.IntermediateReps |
accesses | Camfort.Analysis.Syntax |
AccessP | Camfort.Analysis.IntermediateReps |
AccessPatternType | Camfort.Analysis.Annotations |
accessToVarName | Camfort.Analysis.IntermediateReps |
addCol | Camfort.Specification.Units.Environment |
addCopy | Camfort.Transformation.EquivalenceElim |
addPlain1Arg1ExtraIntrinsic | Camfort.Specification.Units.InferenceBackend |
addPlain1ArgIntrinsic | Camfort.Specification.Units.InferenceBackend |
addPlain2Arg1ExtraIntrinsic | Camfort.Specification.Units.InferenceBackend |
addPlain2ArgIntrinsic | Camfort.Specification.Units.InferenceBackend |
addPowerIntrinsic | Camfort.Specification.Units.InferenceBackend |
addProductIntrinsic | Camfort.Specification.Units.InferenceBackend |
addRow | Camfort.Specification.Units.Environment |
addRow' | Camfort.Specification.Units.Environment |
addToBlock | Camfort.Transformation.CommonBlockElim |
addToProgUnit | Camfort.Transformation.CommonBlockElim |
addUnitlessIntrinsic | Camfort.Specification.Units.InferenceBackend |
addUnitlessResult0ArgIntrinsic | Camfort.Specification.Units.InferenceBackend |
addUnitlessResult1ArgIntrinsic | Camfort.Specification.Units.InferenceBackend |
addUnitlessResult2AnyArgIntrinsic | Camfort.Specification.Units.InferenceBackend |
addUnitlessResult2SameArgIntrinsic | Camfort.Specification.Units.InferenceBackend |
addUnitlessSubIntrinsic | Camfort.Specification.Units.InferenceBackend |
af | Camfort.Analysis.Syntax |
affineMatch | Camfort.Analysis.Syntax |
afterEnd | Camfort.Transformation.Syntax |
allCoherentCommonsP | Camfort.Transformation.CommonBlockElim |
allRegionPermutations | Camfort.Specification.Stencils.InferenceBackend |
analyse' | Camfort.Analysis.Loops |
analyseCommons | Camfort.Transformation.CommonBlockElim |
And | Camfort.Specification.Stencils.Grammar |
annotateComments | Camfort.Analysis.CommentAnnotator |
annotateWithAST | Camfort.Analysis.CommentAnnotator |
Annotation | Camfort.Analysis.Annotations |
annotation | Camfort.Traverse |
annotationBound | Camfort.Analysis.Syntax |
AnnotationFree | |
1 (Type/Class) | Camfort.Analysis.Syntax |
2 (Data Constructor) | Camfort.Analysis.Syntax |
annotationMark | Camfort.PrettyPrint |
AnnotationParseError | Camfort.Analysis.CommentAnnotator |
AnnotationParser | Camfort.Analysis.CommentAnnotator |
anyUnits | Camfort.Specification.Units.InferenceBackend |
appendM | Camfort.Helpers |
applyRenaming | Camfort.Transformation.Syntax |
Argument | Camfort.Specification.Units.Environment |
ArrayA | Camfort.Analysis.IntermediateReps |
arrayAccessToProjection | Camfort.Transformation.DerivedTypeIntro |
arrayElementType | Camfort.Analysis.Types |
arrayIndices | Camfort.Analysis.Loops |
arrsRead | Camfort.Analysis.Annotations |
arrsWrite | Camfort.Analysis.Annotations |
AssignMode | Camfort.Specification.Stencils.InferenceFrontend |
AssumeLiterals | Camfort.Specification.Units.Environment |
ast | Camfort.Functionality |
ASTEmbeddable | Camfort.Analysis.CommentAnnotator |
asts | Camfort.Functionality |
AtLeast | Camfort.Specification.Stencils.Grammar |
AtMost | Camfort.Specification.Stencils.Grammar |