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 classITypeConstraint.TypeConstraintUtilStatic internal utility class for implementations ofITypeConstraints.
-
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 TypeJudgementgetEquivalentJudgement()-
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()
-
-