CallIdMap | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
CamfortEnv | |
1 (Type/Class) | Camfort.Functionality |
2 (Data Constructor) | Camfort.Functionality |
camfortInitialize | Camfort.Functionality |
caml | Camfort.Helpers.Syntax |
cast | Camfort.Specification.Units.Environment |
catchAnalysisT | Camfort.Analysis |
CBTBool | Language.Fortran.Model.Op.Core.Core |
CBTChar | Language.Fortran.Model.Op.Core.Core |
CBTNum | Language.Fortran.Model.Op.Core.Core |
ceExcludeFiles | Camfort.Functionality |
ceFortranVersion | Camfort.Functionality |
ceIncludeDir | Camfort.Functionality |
ceInputSources | Camfort.Functionality |
ceLogLevel | Camfort.Functionality |
Centered | Camfort.Specification.Stencils.Syntax |
ceSourceSnippets | Camfort.Functionality |
Char8 | |
1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
CharConstr | Camfort.Specification.Units.Environment |
CharRep | Camfort.Specification.Units.Environment |
check | |
1 (Function) | Camfort.Specification.DerivedDataType |
2 (Function) | Camfort.Specification.Stencils |
3 (Function) | Camfort.Specification.Hoare |
checkAllocateStatements | Camfort.Analysis.Simple |
checkArrayUse | Camfort.Analysis.Simple |
checkDir | Camfort.Helpers |
checkFailure | Camfort.Specification.Stencils.CheckFrontend |
checkFloatingPointUse | Camfort.Analysis.Simple |
checkImplicitNone | Camfort.Analysis.Simple |
checkModuleUse | Camfort.Analysis.Simple |
checkOffsetsAgainstSpec | Camfort.Specification.Stencils.CheckBackend |
checkPU | Camfort.Specification.Hoare.CheckBackend |
CheckResult | Camfort.Specification.Stencils.CheckFrontend |
checkUnits | Camfort.Specification.Units.Analysis.Consistent |
checkWarnings | Camfort.Specification.Stencils.CheckFrontend |
chooseImplicitNames | Camfort.Specification.Units.InferenceBackend |
cleanLinks | Camfort.Specification.Units.Annotation |
coalesce | Camfort.Specification.Stencils.InferenceBackend |
coerceBy | Language.Fortran.Model.Op.Eval |
coercePrimSVal | Language.Fortran.Model.Op.Eval |
coerceSBVKinds | Language.Fortran.Model.Op.Eval |
collect | Camfort.Helpers |
colSort | Camfort.Specification.Units.Environment |
common | Camfort.Functionality |
commonElimToModules | Camfort.Transformation.CommonBlockElim |
ComparableBasicTypes | Language.Fortran.Model.Op.Core.Core |
compare | Camfort.Specification.Stencils.PartialOrd |
Compare_6989586621679388653 | Language.Fortran.Model.Singletons |
Compare_6989586621679388653Sym0 | Language.Fortran.Model.Singletons |
Compare_6989586621679388653Sym0KindInference | Language.Fortran.Model.Singletons |
Compare_6989586621679388653Sym1 | Language.Fortran.Model.Singletons |
Compare_6989586621679388653Sym1KindInference | Language.Fortran.Model.Singletons |
Compare_6989586621679388653Sym2 | Language.Fortran.Model.Singletons |
Compare_6989586621679388662 | Language.Fortran.Model.Singletons |
Compare_6989586621679388662Sym0 | Language.Fortran.Model.Singletons |
Compare_6989586621679388662Sym0KindInference | Language.Fortran.Model.Singletons |
Compare_6989586621679388662Sym1 | Language.Fortran.Model.Singletons |
Compare_6989586621679388662Sym1KindInference | Language.Fortran.Model.Singletons |
Compare_6989586621679388662Sym2 | Language.Fortran.Model.Singletons |
compile | Camfort.Specification.DerivedDataType |
compileStencils | Camfort.Specification.Stencils.Analysis |
compileUnits | Camfort.Specification.Units.Analysis |
composeSubs | Camfort.Specification.Units.BackendTypes |
ConConj | Camfort.Specification.Units.Environment |
ConEq | Camfort.Specification.Units.Environment |
ConIndex | Camfort.Specification.Units.Environment |
conParamEq | Camfort.Specification.Units.Environment |
Cons | Camfort.Helpers.Vec |
ConsistencyError | Camfort.Specification.Units.Analysis.Consistent |
ConsistencyReport | Camfort.Specification.Units.Analysis.Consistent |
ConsistencyResult | Camfort.Specification.Stencils.Consistency |
Consistent | |
1 (Data Constructor) | Camfort.Specification.Stencils.Consistency |
2 (Data Constructor) | Camfort.Specification.Units.Analysis.Consistent |
consistent | Camfort.Specification.Stencils.Consistency |
consistentIVSuse | Camfort.Specification.Stencils.Generate |
Constant | Camfort.Specification.Stencils.Generate |
Constr | Camfort.Specification.Units.Environment |
Constraint | Camfort.Specification.Units.Environment |
Constraints | Camfort.Specification.Units.Environment |
constraintsToMatrices | Camfort.Specification.Units.InferenceBackend |
constraintsToMatrix | Camfort.Specification.Units.InferenceBackend |
constraintToDim | Camfort.Specification.Units.BackendTypes |
constrFields | Camfort.Specification.Units.Environment |
constrFixity | Camfort.Specification.Units.Environment |
constrIndex | Camfort.Specification.Units.Environment |
ConstrRep | Camfort.Specification.Units.Environment |
constrRep | Camfort.Specification.Units.Environment |
constrType | Camfort.Specification.Units.Environment |
containedWithin | Camfort.Specification.Stencils.InferenceBackend |
convIxToNeighbour | Camfort.Specification.Stencils.Generate |
copyMatrix | Camfort.Specification.Units.InferenceBackendFlint |
CoreOp | |
1 (Type/Class) | Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
2 (Data Constructor) | Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
CoreRepr | Language.Fortran.Model.Repr, Language.Fortran.Model |
coreReprD | Language.Fortran.Model.Repr, Language.Fortran.Model |
CoreTyp | Camfort.Specification.Stencils.Model |
countVarDecls | Camfort.Functionality |
countVariableDeclarations | Camfort.Analysis.Simple |
CRArray | Language.Fortran.Model.Repr, Language.Fortran.Model |
CRData | Language.Fortran.Model.Repr, Language.Fortran.Model |
criticalVariables | |
1 (Function) | Camfort.Specification.Units.InferenceBackend |
2 (Function) | Camfort.Specification.Units.InferenceBackendSBV |
CRPrim | Language.Fortran.Model.Repr, Language.Fortran.Model |