identDim | Camfort.Specification.Units.BackendTypes |
identSub | Camfort.Specification.Units.BackendTypes |
implicitNone | Camfort.Functionality |
ImplicitNoneReport | |
1 (Type/Class) | Camfort.Analysis.Simple |
2 (Data Constructor) | Camfort.Analysis.Simple |
Inconsistent | |
1 (Data Constructor) | Camfort.Specification.Stencils.Consistency |
2 (Data Constructor) | Camfort.Specification.Units.Analysis.Consistent |
inconsistentConstraints | |
1 (Function) | Camfort.Specification.Units.InferenceBackend |
2 (Function) | Camfort.Specification.Units.InferenceBackendSBV |
Index | |
1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
indexConstr | Camfort.Specification.Units.Environment |
indicesToRelativisedOffsets | Camfort.Specification.Stencils.Generate |
indicesToSpec | Camfort.Specification.Stencils.Generate |
infer | |
1 (Function) | Camfort.Specification.DerivedDataType |
2 (Function) | Camfort.Specification.Stencils |
inferCriticalVariables | Camfort.Specification.Units.Analysis.Criticals |
InferenceReport | |
1 (Type/Class) | Camfort.Specification.Units.Analysis.Infer |
2 (Data Constructor) | Camfort.Specification.Units.Analysis.Infer |
InferenceResult | Camfort.Specification.Units.Analysis.Infer |
inferFromIndicesWithoutLinearity | Camfort.Specification.Stencils.InferenceBackend |
inferMinimalVectorRegions | Camfort.Specification.Stencils.InferenceBackend |
Inferred | Camfort.Specification.Units.Analysis.Infer |
inferUnits | Camfort.Specification.Units.Analysis.Infer |
inferVariables | |
1 (Function) | Camfort.Specification.Units.InferenceBackend |
2 (Function) | Camfort.Specification.Units.InferenceBackendSBV |
InfInconsistent | Camfort.Specification.Units.Analysis.Infer |
Infix | Camfort.Specification.Units.Environment |
initializeModFiles | Camfort.Specification.Units.ModFile |
initInference | Camfort.Specification.Units.Analysis |
InnerHA | Camfort.Specification.Hoare.Annotation |
IntBool | Language.Fortran.Model.Repr.Prim |
IntConstr | Camfort.Specification.Units.Environment |
Interval | Camfort.Specification.Stencils.Model |
intervalsToRegions | Camfort.Specification.Stencils.DenotationalSemantics |
IntervArbitrary | Camfort.Specification.Stencils.Model |
IntervHoled | Camfort.Specification.Stencils.Model |
IntervInfinite | Camfort.Specification.Stencils.Model |
IntervInfiniteArbitrary | Camfort.Specification.Stencils.Model |
intoMetaExpr | Camfort.Specification.Hoare.Translate |
IntRep | Camfort.Specification.Units.Environment |
IntRepr | Language.Fortran.Model.Repr.Prim |
inv | Camfort.Specification.Units.InferenceBackendFlint |
InvalidPUConditions | Camfort.Specification.Hoare.CheckFrontend |
InvalidSourceName | Camfort.Specification.Hoare.CheckBackend |
invariantChecking | Camfort.Specification.Hoare.CheckFrontend |
invariantsCheck | Camfort.Functionality |
isAlgType | Camfort.Specification.Units.Environment |
isArraySubscript | Camfort.Specification.Stencils.Generate |
isComment | Camfort.Analysis.CommentAnnotator |
isDirectory | Camfort.Helpers |
isEmpty | Camfort.Specification.Stencils.Syntax |
isIdentDim | Camfort.Specification.Units.BackendTypes |
isMonomorphic | Camfort.Specification.Units.Environment |
isNewFile | Camfort.Output |
isNorepType | Camfort.Specification.Units.Environment |
IsStencil | Camfort.Specification.Stencils.Syntax |
isUnit | Camfort.Specification.Stencils.Syntax |
isUnitless | Camfort.Specification.Units.Environment |
isVariableExpr | Camfort.Specification.Stencils.Generate |