• appendQuote
• approxQuote
• BooleanQuote
• calculatedParameterQuote
• calculatedQuote
• constantQuote
• continuousQuote
• discreteQuote
• EnumerationQuote
• exactQuote
• fixedQuote
• independentQuote
• inputQuote
• IntegerQuote
• localQuote
• Orch
• Orch.SV
• Orch.SV_X_
• Orch.Type
• outputQuote
• parameterQuote
• RealQuote
• startQuote
• StringQuote
• tunableQuote
• VdmSvChecker
• VdmSvChecker.ScalarVariableConfigException