Interface ITypeInfoProviderConstraint
-
- All Superinterfaces:
PConstraint
,PTraceable
- All Known Subinterfaces:
ITypeConstraint
- All Known Implementing Classes:
AbstractTransitiveClosure
,AggregatorConstraint
,BinaryReflexiveTransitiveClosure
,BinaryTransitiveClosure
,PositivePatternCall
,TypeConstraint
,TypeFilterConstraint
public interface ITypeInfoProviderConstraint extends PConstraint
-
-
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 java.util.Set<TypeJudgement>
getImpliedJudgements(IQueryMetaContext context)
Returns type information implied by this constraint.-
Methods inherited from interface org.eclipse.viatra.query.runtime.matchers.psystem.PConstraint
checkSanity, delete, getAffectedVariables, getBody, getDeducedVariables, getFunctionalDependencies, getMonotonousID, replaceVariable
-
-
-
-
Method Detail
-
getImpliedJudgements
java.util.Set<TypeJudgement> getImpliedJudgements(IQueryMetaContext context)
Returns type information implied by this constraint.
-
-