A | |
1 (Data Constructor) | Camfort.Analysis.Annotations |
2 (Type/Class) | Camfort.Analysis.Annotations |
a | Camfort.Specification.Stencils.Synthesis |
A1 | |
1 (Type/Class) | Camfort.Transformation.CommonBlockElim |
2 (Type/Class) | Camfort.Transformation.EquivalenceElim |
absoluteRep | Camfort.Specification.Stencils.Syntax |
absorbReflexive | Camfort.Specification.Stencils.Syntax |
absorbReflexive' | Camfort.Specification.Stencils.Syntax |
addCopysPerBlock | Camfort.Transformation.EquivalenceElim |
addCopysPerBlockGroup | Camfort.Transformation.EquivalenceElim |
addToProgramUnit | Camfort.Transformation.CommonBlockElim |
af | Camfort.Helpers.Syntax |
afterAligned | Camfort.Helpers.Syntax |
allCoherentCommons | Camfort.Transformation.CommonBlockElim |
allRegionPermutations | Camfort.Specification.Stencils.InferenceBackend |
analyseAndRmCommons | Camfort.Transformation.CommonBlockElim |
analysePerPF | Camfort.Transformation.CommonBlockElim |
analysePerPU | Camfort.Transformation.CommonBlockElim |
And | Camfort.Specification.Stencils.Grammar |
annotateComments | Camfort.Analysis.CommentAnnotator |
annotateWithAST | Camfort.Analysis.CommentAnnotator |
Annotation | Camfort.Analysis.Annotations |
annotationBound | Camfort.Helpers.Syntax |
AnnotationFree | |
1 (Type/Class) | Camfort.Helpers.Syntax |
2 (Data Constructor) | Camfort.Helpers.Syntax |
AnnotationParseError | Camfort.Analysis.CommentAnnotator |
AnnotationParser | Camfort.Analysis.CommentAnnotator |
appendM | Camfort.Helpers |
applyRenaming | Camfort.Transformation.CommonBlockElim |
Approximation | Camfort.Specification.Stencils.Syntax |
AssignMode | Camfort.Specification.Stencils.InferenceFrontend |
ast | Camfort.Functionality |
ASTEmbeddable | Camfort.Analysis.CommentAnnotator |
AtLeast | Camfort.Specification.Stencils.Grammar |
AtMost | Camfort.Specification.Stencils.Grammar |