Class KeyedEnumerablePConstraint<KeyType>
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.matchers.psystem.BasePConstraint
-
- org.eclipse.viatra.query.runtime.matchers.psystem.EnumerablePConstraint
-
- org.eclipse.viatra.query.runtime.matchers.psystem.KeyedEnumerablePConstraint<KeyType>
-
- All Implemented Interfaces:
PConstraint
,PTraceable
- Direct Known Subclasses:
AbstractTransitiveClosure
,ConstantValue
,PositivePatternCall
,TypeConstraint
public abstract class KeyedEnumerablePConstraint<KeyType> extends EnumerablePConstraint
-
-
Field Summary
Fields Modifier and Type Field Description protected KeyType
supplierKey
-
Fields inherited from class org.eclipse.viatra.query.runtime.matchers.psystem.EnumerablePConstraint
variablesTuple
-
Fields inherited from class org.eclipse.viatra.query.runtime.matchers.psystem.BasePConstraint
pBody
-
Fields inherited from interface org.eclipse.viatra.query.runtime.matchers.psystem.PConstraint
COMPARE_BY_MONOTONOUS_ID
-
-
Constructor Summary
Constructors Constructor Description KeyedEnumerablePConstraint(PBody pBody, Tuple variablesTuple, KeyType supplierKey)
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description KeyType
getSupplierKey()
protected abstract java.lang.String
keyToString()
protected java.lang.String
toStringRestRest()
-
Methods inherited from class org.eclipse.viatra.query.runtime.matchers.psystem.EnumerablePConstraint
doReplaceVariable, getDeducedVariables, getVariableInTuple, getVariablesTuple, toStringRest
-
Methods inherited from class org.eclipse.viatra.query.runtime.matchers.psystem.BasePConstraint
checkSanity, delete, getAffectedVariables, getBody, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toString
-
-
-
-
Field Detail
-
supplierKey
protected KeyType supplierKey
-
-
Method Detail
-
toStringRestRest
protected java.lang.String toStringRestRest()
- Overrides:
toStringRestRest
in classEnumerablePConstraint
-
keyToString
protected abstract java.lang.String keyToString()
-
getSupplierKey
public KeyType getSupplierKey()
-
-