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

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 and Description
static class	ITypeConstraint.TypeConstraintUtil Static internal utility class for implementations of ITypeConstraints.

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

PConstraint.CompareByMonotonousID

Method Summary

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

Method Detail

getEquivalentJudgement

TypeJudgement getEquivalentJudgement()