public interface ITypeInfoProviderConstraint extends PConstraint
COMPARE_BY_MONOTONOUS_ID| Modifier and Type | Method and Description |
|---|---|
java.util.Set<TypeJudgement> |
getImpliedJudgements(IQueryMetaContext context)
Returns type information implied by this constraint.
|
checkSanity, delete, getAffectedVariables, getBody, getDeducedVariables, getFunctionalDependencies, getMonotonousID, replaceVariablejava.util.Set<TypeJudgement> getImpliedJudgements(IQueryMetaContext context)