gcast | Camfort.Specification.Units.Environment |
gcast1 | Camfort.Specification.Units.Environment |
gcast2 | Camfort.Specification.Units.Environment |
generalizePureAnalysis | Camfort.Analysis |
genModFiles | Camfort.Analysis.ModFile |
genModFilesP | Camfort.Analysis.ModFile |
genOffsets | Camfort.Specification.Stencils.Generate |
genSpecifications | Camfort.Specification.Stencils.Generate |
genUnitAssignments | |
1 (Function) | Camfort.Specification.Units.InferenceBackend |
2 (Function) | Camfort.Specification.Units.InferenceBackendSBV |
genUnitAssignments' | Camfort.Specification.Units.InferenceBackend |
genUnitsModFile | Camfort.Specification.Units.ModFile |
getAstSpec | Camfort.Specification.Stencils.Annotation |
getBaseAnnotation | Camfort.Specification.Stencils.Annotation |
getBool16 | Language.Fortran.Model.Types, Language.Fortran.Model |
getBool32 | Language.Fortran.Model.Types, Language.Fortran.Model |
getBool64 | Language.Fortran.Model.Types, Language.Fortran.Model |
getBool8 | Language.Fortran.Model.Types, Language.Fortran.Model |
getChar8 | Language.Fortran.Model.Types, Language.Fortran.Model |
getConstraint | Camfort.Specification.Units.Annotation |
getConstraints | Camfort.Specification.Units.Monad |
getDefaultSourceFile | Camfort.Analysis.Logger |
getDir | Camfort.Helpers |
getInferred | Camfort.Specification.Units.Analysis.Infer |
getModFiles | Camfort.Analysis.ModFile |
getNameParamMap | Camfort.Specification.Units.Monad |
getParseSpec | Camfort.Specification.Stencils.Annotation |
getPrimS | Language.Fortran.Model.Types, Language.Fortran.Model |
getProgramFile | Camfort.Specification.Units.Monad |
getRegionSpec | Camfort.Specification.Stencils.Annotation |
getSourceName | Language.Fortran.Model.Vars |
getStencilBlock | Camfort.Specification.Stencils.Annotation |
getTemplateMap | Camfort.Specification.Units.Monad |
getTranslateT | Language.Fortran.Model.Translate |
getUniqueName | Language.Fortran.Model.Vars |
getUnitAliasMap | Camfort.Specification.Units.Monad |
getUnitInfo | Camfort.Specification.Units.Annotation |
getVarUnitMap | Camfort.Specification.Units.Monad |
gfoldl | Camfort.Specification.Units.Environment |
giveAstSpec | Camfort.Specification.Stencils.Annotation |
GivenVarSet | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
giveParseSpec | Camfort.Specification.Stencils.Annotation |
giveRegionSpec | Camfort.Specification.Stencils.Annotation |
gmapM | Camfort.Specification.Units.Environment |
gmapMo | Camfort.Specification.Units.Environment |
gmapMp | Camfort.Specification.Units.Environment |
gmapQ | Camfort.Specification.Units.Environment |
gmapQi | Camfort.Specification.Units.Environment |
gmapQl | Camfort.Specification.Units.Environment |
gmapQr | Camfort.Specification.Units.Environment |
gmapT | Camfort.Specification.Units.Environment |
groupKeyBy | Camfort.Specification.Stencils.Syntax |
gunfold | Camfort.Specification.Units.Environment |