public interface ITypeConstraint extends ITypeInfoProviderConstraint
| Modifier and Type | Interface and Description |
|---|---|
static class |
ITypeConstraint.TypeConstraintUtil
Static internal utility class for implementations of
ITypeConstraints. |
COMPARE_BY_MONOTONOUS_ID| Modifier and Type | Method and Description |
|---|---|
TypeJudgement |
getEquivalentJudgement() |
getImpliedJudgementscheckSanity, delete, getAffectedVariables, getBody, getDeducedVariables, getFunctionalDependencies, getMonotonousID, replaceVariableTypeJudgement getEquivalentJudgement()