public interface ITypeConstraint extends ITypeInfoProviderConstraint
Modifier and Type | Interface and Description |
---|---|
static class |
ITypeConstraint.TypeConstraintUtil
Static internal utility class for implementations of
ITypeConstraint s. |
PConstraint.CompareByMonotonousID
Modifier and Type | Method and Description |
---|---|
TypeJudgement |
getEquivalentJudgement() |
getImpliedJudgements
checkSanity, delete, getAffectedVariables, getDeducedVariables, getFunctionalDependencies, getMonotonousID, replaceVariable
TypeJudgement getEquivalentJudgement()