S | Camfort.Helpers.Vec |
s | Camfort.Specification.Stencils.Synthesis |
Selection | Camfort.Specification.Stencils.InferenceBackend |
selectionsV | Camfort.Specification.Stencils.InferenceBackend |
setLinearity | Camfort.Specification.Stencils.Syntax |
shiftTerms | Camfort.Specification.Units.InferenceBackend |
Show' | Camfort.Output |
show' | Camfort.Output |
showL | Camfort.Specification.Stencils.Syntax |
showProdSpecs | Camfort.Specification.Stencils.Syntax |
showRegion | Camfort.Specification.Stencils.Syntax |
showSumSpecs | Camfort.Specification.Stencils.Syntax |
showV | Camfort.Helpers.Vec |
simplify | Camfort.Specification.Stencils.InferenceBackend |
simplifySpatial | Camfort.Specification.Stencils.InferenceBackend |
Single | Camfort.Specification.Stencils.Syntax |
SourceText | Camfort.Helpers |
Span | Camfort.Specification.Stencils.InferenceBackend |
spanBoundingBox | Camfort.Specification.Stencils.InferenceBackend |
Spatial | |
1 (Type/Class) | Camfort.Specification.Stencils.Syntax |
2 (Data Constructor) | Camfort.Specification.Stencils.Syntax |
3 (Data Constructor) | Camfort.Specification.Stencils.Grammar |
Spec | Camfort.Specification.Stencils.Grammar |
SpecDec | Camfort.Specification.Stencils.Grammar |
SpecDecls | Camfort.Specification.Stencils.Syntax |
Specification | |
1 (Type/Class) | Camfort.Specification.Stencils.Syntax |
2 (Data Constructor) | Camfort.Specification.Stencils.Syntax |
3 (Type/Class) | Camfort.Specification.Stencils.Grammar |
specParser | Camfort.Specification.Stencils.Grammar |
stencilBlock | Camfort.Analysis.Annotations |
stencilChecking | Camfort.Specification.Stencils.CheckFrontend |
stencilInference | Camfort.Specification.Stencils.InferenceFrontend |
StencilInferMode | Camfort.Functionality |
stencilsCheck | Camfort.Functionality |
stencilsInfer | Camfort.Functionality |
stencilSpec | Camfort.Analysis.Annotations |
stencilsSynth | Camfort.Functionality |
strength | Camfort.Specification.Stencils.InferenceFrontend |
Succ | Camfort.Helpers.Vec |
Sum | Camfort.Specification.Stencils.Syntax |
sum | Camfort.Specification.Stencils.Syntax |
Synth | Camfort.Specification.Stencils.InferenceFrontend |
synth | Camfort.Specification.Stencils |
synthesiseUnits | Camfort.Specification.Units |
SynToAst | Camfort.Specification.Stencils.CheckBackend |
synToAst | Camfort.Specification.Stencils.CheckBackend |