Package tools.refinery.interpreter.matchers.psystem

Class KeyedEnumerablePConstraint<KeyType>

java.lang.Object

tools.refinery.interpreter.matchers.psystem.BasePConstraint

tools.refinery.interpreter.matchers.psystem.EnumerablePConstraint

tools.refinery.interpreter.matchers.psystem.KeyedEnumerablePConstraint<KeyType>

All Implemented Interfaces:

PConstraint, PTraceable

Direct Known Subclasses:

AbstractTransitiveClosure, ConstantValue, PositivePatternCall, RepresentativeElectionConstraint, TypeConstraint

public abstract class KeyedEnumerablePConstraint<KeyType>
extends EnumerablePConstraint

Field Summary

Fields

Modifier and Type	Field	Description
protected KeyType	supplierKey

Fields inherited from class tools.refinery.interpreter.matchers.psystem.EnumerablePConstraint

variablesTuple

Fields inherited from class tools.refinery.interpreter.matchers.psystem.BasePConstraint

pBody

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

COMPARE_BY_MONOTONOUS_ID

Constructor Summary

Constructors

Constructor	Description
KeyedEnumerablePConstraint(PBody pBody, Tuple variablesTuple, KeyType supplierKey)

Method Summary

Modifier and Type	Method	Description
KeyType	getSupplierKey()
protected abstract String	keyToString()
protected String	toStringRestRest()

Methods inherited from class tools.refinery.interpreter.matchers.psystem.EnumerablePConstraint

doReplaceVariable, getDeducedVariables, getVariableInTuple, getVariablesTuple, toStringRest

Methods inherited from class tools.refinery.interpreter.matchers.psystem.BasePConstraint

checkSanity, delete, getAffectedVariables, getBody, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

supplierKey

protected KeyType supplierKey

Constructor Details

KeyedEnumerablePConstraint

public KeyedEnumerablePConstraint(PBody pBody,
 Tuple variablesTuple,
 KeyType supplierKey)

Method Details

toStringRestRest

protected String toStringRestRest()

Overrides:

toStringRestRest in class EnumerablePConstraint

keyToString

protected abstract String keyToString()

getSupplierKey

public KeyType getSupplierKey()