org.eclipse.viatra.query.runtime.matchers.psystem

Interface ITypeInfoProviderConstraint

All Superinterfaces:

PConstraint, PTraceable

All Known Subinterfaces:

ITypeConstraint

All Known Implementing Classes:

AggregatorConstraint, BinaryTransitiveClosure, PositivePatternCall, TypeConstraint, TypeFilterConstraint

public interface ITypeInfoProviderConstraint
extends PConstraint

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.viatra.query.runtime.matchers.psystem.PConstraint

PConstraint.CompareByMonotonousID

Method Summary

Modifier and Type	Method and 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, getDeducedVariables, getFunctionalDependencies, getMonotonousID, replaceVariable

Method Detail

getImpliedJudgements

java.util.Set<TypeJudgement> getImpliedJudgements(IQueryMetaContext context)

Returns type information implied by this constraint.