Package tools.refinery.interpreter.matchers.psystem

Interface ITypeInfoProviderConstraint

All Superinterfaces:

PConstraint, PTraceable

All Known Subinterfaces:

ITypeConstraint

All Known Implementing Classes:

AbstractTransitiveClosure, AggregatorConstraint, BinaryReflexiveTransitiveClosure, BinaryTransitiveClosure, LeftJoinConstraint, PositivePatternCall, RepresentativeElectionConstraint, TypeConstraint, TypeFilterConstraint

public interface ITypeInfoProviderConstraint
extends PConstraint

Field Summary

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

COMPARE_BY_MONOTONOUS_ID

Method Summary

Modifier and Type	Method	Description
Set<TypeJudgement>	getImpliedJudgements(IQueryMetaContext context)	Returns type information implied by this constraint.

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

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

Method Details

getImpliedJudgements

Set<TypeJudgement> getImpliedJudgements(IQueryMetaContext context)

Returns type information implied by this constraint.