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, replaceVariable
java.util.Set<TypeJudgement> getImpliedJudgements(IQueryMetaContext context)