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

Field Summary

Fields inherited from interface tools.refinery.interpreter.matchers.psystem.PConstraint

COMPARE_BY_MONOTONOUS_ID

Method Summary

Modifier and Type	Method	Description
TypeJudgement	getEquivalentJudgement()

Methods inherited from interface tools.refinery.interpreter.matchers.psystem.ITypeInfoProviderConstraint

getImpliedJudgements

Methods inherited from interface tools.refinery.interpreter.matchers.psystem.PConstraint

checkSanity, delete, getAffectedVariables, getBody, getDeducedVariables, getFunctionalDependencies, getMonotonousID, replaceVariable

Method Details

getEquivalentJudgement

TypeJudgement getEquivalentJudgement()