Package tools.refinery.interpreter.matchers.psystem

Class TypeJudgement

java.lang.Object

tools.refinery.interpreter.matchers.psystem.TypeJudgement

public class TypeJudgement
extends Object

A judgement that means that the given tuple of variables will represent a tuple of values that is a member of the extensional relation identified by the given input key.

Constructor Summary

Constructors

Constructor	Description
TypeJudgement(IInputKey inputKey, Tuple variablesTuple)

Method Summary

Modifier and Type	Method	Description
PConstraint	createConstraintFor(PBody pBody)	Creates this judgement as a direct type constraint in the given PBody under construction.
boolean	equals(Object obj)
Map<TypeJudgement,Set<TypeJudgement>>	getConditionalImpliedJudgements(IQueryMetaContext context)
Set<TypeJudgement>	getDirectlyImpliedJudgements(IQueryMetaContext context)
IInputKey	getInputKey()
Tuple	getVariablesTuple()
Set<TypeJudgement>	getWeakenedAlternativeJudgements(IQueryMetaContext context)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

TypeJudgement

public TypeJudgement(IInputKey inputKey,
 Tuple variablesTuple)

Parameters:

inputKey -

variablesTuple -

Method Details

getInputKey

public IInputKey getInputKey()

getVariablesTuple

public Tuple getVariablesTuple()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getDirectlyImpliedJudgements

public Set<TypeJudgement> getDirectlyImpliedJudgements(IQueryMetaContext context)

getWeakenedAlternativeJudgements

public Set<TypeJudgement> getWeakenedAlternativeJudgements(IQueryMetaContext context)

Since:

1.6

getConditionalImpliedJudgements

public Map<TypeJudgement,Set<TypeJudgement>> getConditionalImpliedJudgements(IQueryMetaContext context)

Since:

2.0

toString

public String toString()

Overrides:

toString in class Object

createConstraintFor

public PConstraint createConstraintFor(PBody pBody)

Creates this judgement as a direct type constraint in the given PBody under construction.

pre: the variables tuple must be formed of variables of that PBody.

Since:

1.6