Interface ITypeConstraint
-
- All Superinterfaces:
ITypeInfoProviderConstraint
,PConstraint
,PTraceable
- All Known Implementing Classes:
TypeConstraint
,TypeFilterConstraint
public interface ITypeConstraint extends ITypeInfoProviderConstraint
Common superinterface of enumerable and deferred type constraints.
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static class
ITypeConstraint.TypeConstraintUtil
Static internal utility class for implementations ofITypeConstraint
s.
-
Field Summary
-
Fields inherited from interface org.eclipse.viatra.query.runtime.matchers.psystem.PConstraint
COMPARE_BY_MONOTONOUS_ID
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description TypeJudgement
getEquivalentJudgement()
-
Methods inherited from interface org.eclipse.viatra.query.runtime.matchers.psystem.ITypeInfoProviderConstraint
getImpliedJudgements
-
Methods inherited from interface org.eclipse.viatra.query.runtime.matchers.psystem.PConstraint
checkSanity, delete, getAffectedVariables, getBody, getDeducedVariables, getFunctionalDependencies, getMonotonousID, replaceVariable
-
-
-
-
Method Detail
-
getEquivalentJudgement
TypeJudgement getEquivalentJudgement()
-
-