calculateWeights | Camfort.Transformation.DerivedTypeIntro |
callAndSummarise | Camfort.Functionality |
CallIdMap | Camfort.Specification.Units.Monad |
caml | Camfort.Transformation.Syntax |
Centered | |
1 (Data Constructor) | Camfort.Specification.Stencils.Syntax |
2 (Data Constructor) | Camfort.Specification.Stencils.Grammar |
changeDir | Camfort.Output |
check | Camfort.Specification.Stencils |
checkDir | Camfort.Helpers |
Checker | Camfort.Specification.Stencils.CheckFrontend |
checkUnits | Camfort.Specification.Units |
cmpEq | Camfort.Helpers |
cmpFst | Camfort.Helpers |
cmpSnd | Camfort.Helpers |
cmpTConBNames | Camfort.Transformation.CommonBlockElim |
cmpTLConBNames | Camfort.Transformation.CommonBlockElim |
cmpTLConFName | Camfort.Transformation.CommonBlockElim |
cmpTLConPName | Camfort.Transformation.CommonBlockElim |
cmpVarName | Camfort.Transformation.CommonBlockElim |
coherentCommonsP | Camfort.Transformation.CommonBlockElim |
collect | Camfort.Helpers |
collectCommons | |
1 (Function) | Camfort.Transformation.CommonBlockElim |
2 (Function) | Camfort.Transformation.CommonBlockElimToCalls |
colors | Camfort.PrettyPrint |
CombinedMode | Camfort.Specification.Stencils.InferenceFrontend |
common | Camfort.Functionality |
commonElimToCalls | Camfort.Transformation.CommonBlockElimToCalls |
commonElimToModules | Camfort.Transformation.CommonBlockElim |
commonName | Camfort.Transformation.CommonBlockElim |
commonToArgs | Camfort.Functionality |
compareInferredToDeclared | Camfort.Specification.Stencils.CheckFrontend |
composeConsecutiveSpans | Camfort.Specification.Stencils.InferenceBackend |
ConConj | Camfort.Specification.Units.Environment |
ConEq | Camfort.Specification.Units.Environment |
conParamEq | Camfort.Specification.Units.Environment |
Cons | Camfort.Helpers.Vec |
consistentIVSuse | Camfort.Specification.Stencils.InferenceFrontend |
Constant | Camfort.Specification.Stencils.InferenceFrontend |
Constraint | Camfort.Specification.Units.Environment |
Constraints | Camfort.Specification.Units.Environment |
constraintsToMatrix | Camfort.Specification.Units.InferenceBackend |
containedWithin | Camfort.Specification.Stencils.InferenceBackend |
correctManualImpl | Camfort.Transformation.DerivedTypeIntro |
countLines | Camfort.Output |
countToColor | Camfort.PrettyPrint |
countVarDecls | Camfort.Functionality |
countVariableDeclarations | Camfort.Analysis.Simple |
cprodV | Camfort.Specification.Stencils.Model |
cprodVs | Camfort.Specification.Stencils.Model |
criticalVariables | Camfort.Specification.Units.InferenceBackend |
Cycles | Camfort.Specification.Stencils.InferenceFrontend |