camfort-1.1.2: CamFort - Cambridge Fortran infrastructure

Index - S

SCamfort.Helpers.Vec
SACamfort.Specification.Stencils.Annotation
SBasicTypeLanguage.Fortran.Model.Singletons
sBasicTypeMaxLanguage.Fortran.Model.Singletons
SBTCharLanguage.Fortran.Model.Singletons
SBTIntLanguage.Fortran.Model.Singletons
SBTLogicalLanguage.Fortran.Model.Singletons
SBTRealLanguage.Fortran.Model.Singletons
selectKindLanguage.Fortran.Model.Translate
setConstraintCamfort.Specification.Units.Annotation
setDefaultSourceFileCamfort.Analysis.Logger
setLinearityCamfort.Specification.Stencils.Syntax
SetOfIntegersCamfort.Specification.Stencils.Model
setUnitInfoCamfort.Specification.Units.Annotation
shiftTermsCamfort.Specification.Units.InferenceBackend
Show'Camfort.Output
show'Camfort.Output
showConstrCamfort.Specification.Units.Environment
showsTypeRepCamfort.Specification.Units.Environment
simpleCompilerCamfort.Analysis.ModFile
simplifyUnitsCamfort.Specification.Units.Environment
SLong 
1 (Type/Class)Camfort.Specification.Units.InferenceBackendFlint
2 (Data Constructor)Camfort.Specification.Units.InferenceBackendFlint
SodDeclCamfort.Specification.Hoare.Syntax
SodSpecCamfort.Specification.Hoare.Syntax
SOKDerefLanguage.Fortran.Model.Singletons
SOKEqLanguage.Fortran.Model.Singletons
SOKLitLanguage.Fortran.Model.Singletons
SOKLogicalLanguage.Fortran.Model.Singletons
SOKLookupLanguage.Fortran.Model.Singletons
SOKNumLanguage.Fortran.Model.Singletons
SOKRelLanguage.Fortran.Model.Singletons
SOKWriteArrLanguage.Fortran.Model.Singletons
SOKWriteDataLanguage.Fortran.Model.Singletons
Some 
1 (Type/Class)Camfort.Helpers.TypeLevel, Language.Fortran.Model.Translate
2 (Data Constructor)Camfort.Helpers.TypeLevel, Language.Fortran.Model.Translate
SomeExprLanguage.Fortran.Model.Translate
SomeMessageCamfort.Analysis.Logger
SomePair 
1 (Type/Class)Camfort.Helpers.TypeLevel
2 (Data Constructor)Camfort.Helpers.TypeLevel
SomeTypeLanguage.Fortran.Model.Translate
SomeVarLanguage.Fortran.Model.Translate
SOpKindLanguage.Fortran.Model.Singletons
SortFnCamfort.Specification.Units.Environment
SourceName 
1 (Type/Class)Language.Fortran.Model.Vars
2 (Data Constructor)Language.Fortran.Model.Vars
SourceTextCamfort.Helpers
SP128Language.Fortran.Model.Singletons
SP16Language.Fortran.Model.Singletons
SP32Language.Fortran.Model.Singletons
SP64Language.Fortran.Model.Singletons
SP8Language.Fortran.Model.Singletons
SpanCamfort.Specification.Stencils.InferenceBackend
spansToApproxSpatialCamfort.Specification.Stencils.InferenceBackend
Spatial 
1 (Type/Class)Camfort.Specification.Stencils.Syntax
2 (Data Constructor)Camfort.Specification.Stencils.Syntax
SpecDecCamfort.Specification.Stencils.Parser.Types
SpecDeclCamfort.Specification.Stencils.Syntax
SpecDeclsCamfort.Specification.Stencils.Syntax
specFormulaCamfort.Specification.Hoare.Syntax
Specification 
1 (Type/Class)Camfort.Specification.Hoare.Syntax
2 (Data Constructor)Camfort.Specification.Hoare.Syntax
3 (Type/Class)Camfort.Specification.Stencils.Syntax
4 (Data Constructor)Camfort.Specification.Stencils.Syntax
5 (Type/Class)Camfort.Specification.Stencils.Parser.Types
SpecInner 
1 (Type/Class)Camfort.Specification.Stencils.Parser.Types
2 (Data Constructor)Camfort.Specification.Stencils.Parser.Types
SpecInvariantCamfort.Specification.Hoare.Syntax
SpecKindCamfort.Specification.Hoare.Syntax
SpecOrDeclCamfort.Specification.Hoare.Syntax
SpecParseError 
1 (Type/Class)Camfort.Specification.Parser
2 (Type/Class)Camfort.Specification.Stencils.Parser
SpecParserCamfort.Specification.Parser
specParserCamfort.Specification.Stencils.Parser
SpecPostCamfort.Specification.Hoare.Syntax
SpecPreCamfort.Specification.Hoare.Syntax
SpecSeqCamfort.Specification.Hoare.Syntax
specTypeCamfort.Specification.Hoare.Syntax
splitNormHNFCamfort.Specification.Units.InferenceBackend
splitTyConAppCamfort.Specification.Units.Environment
SPrecisionLanguage.Fortran.Model.Singletons
sPrecMaxLanguage.Fortran.Model.Singletons
StandardCamfort.Specification.Stencils.Model
StencilAnnotationCamfort.Specification.Stencils.Annotation
stencilCheckingCamfort.Specification.Stencils.CheckFrontend
stencilInferenceCamfort.Specification.Stencils.InferenceFrontend
StencilsAnalysisCamfort.Specification.Stencils.Analysis
stencilsCheckCamfort.Functionality
stencilsInferCamfort.Functionality
StencilsReport 
1 (Type/Class)Camfort.Specification.Stencils.InferenceFrontend
2 (Data Constructor)Camfort.Specification.Stencils.InferenceFrontend
stencilsSynthCamfort.Functionality
stencilSynthesisCamfort.Specification.Stencils.InferenceFrontend
SubCamfort.Specification.Units.BackendTypes
subFromListCamfort.Specification.Units.BackendTypes
subtextCamfort.Reprint
subToListCamfort.Specification.Units.BackendTypes
SuccCamfort.Helpers.Vec
successfulCamfort.Specification.DerivedDataType
SumCamfort.Specification.Stencils.Syntax
synth 
1 (Function)Camfort.Specification.DerivedDataType
2 (Function)Camfort.Specification.Stencils
synthesiseUnitsCamfort.Specification.Units
SynToAstCamfort.Specification.Stencils.CheckBackend
synToAstCamfort.Specification.Stencils.CheckBackend
SynToAstErrorCamfort.Specification.Stencils.CheckBackend