Class ExportedParameter
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.matchers.psystem.BasePConstraint
-
- org.eclipse.viatra.query.runtime.matchers.psystem.DeferredPConstraint
-
- org.eclipse.viatra.query.runtime.matchers.psystem.VariableDeferredPConstraint
-
- org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedParameter
-
- All Implemented Interfaces:
PConstraint
,PTraceable
public class ExportedParameter extends VariableDeferredPConstraint
-
-
Field Summary
-
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 ExportedParameter(PBody pBody, PVariable parameterVariable, PParameter patternParameter)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
checkSanity()
void
doReplaceVariable(PVariable obsolete, PVariable replacement)
java.util.Set<PVariable>
getDeducedVariables()
The set of variables whose potential values can be enumerated (once all non-deduced variables have known values).java.util.Set<PVariable>
getDeferringVariables()
java.lang.String
getParameterName()
The name of the parameter; usually, it is expected thatgetParameterVariable()
is more useful, except maybe for debugging purposes.PVariable
getParameterVariable()
PParameter
getPatternParameter()
protected java.lang.String
toStringRest()
-
Methods inherited from class org.eclipse.viatra.query.runtime.matchers.psystem.VariableDeferredPConstraint
isReadyAt
-
Methods inherited from class org.eclipse.viatra.query.runtime.matchers.psystem.BasePConstraint
delete, getAffectedVariables, getBody, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toString
-
-
-
-
Constructor Detail
-
ExportedParameter
public ExportedParameter(PBody pBody, PVariable parameterVariable, PParameter patternParameter)
- Since:
- 1.4
-
-
Method Detail
-
doReplaceVariable
public void doReplaceVariable(PVariable obsolete, PVariable replacement)
- Specified by:
doReplaceVariable
in classBasePConstraint
-
toStringRest
protected java.lang.String toStringRest()
- Specified by:
toStringRest
in classBasePConstraint
-
getDeducedVariables
public java.util.Set<PVariable> getDeducedVariables()
Description copied from interface:PConstraint
The set of variables whose potential values can be enumerated (once all non-deduced variables have known values).
-
getParameterName
public java.lang.String getParameterName()
The name of the parameter; usually, it is expected thatgetParameterVariable()
is more useful, except maybe for debugging purposes.- Returns:
- a non-null name of the parameter
-
getParameterVariable
public PVariable getParameterVariable()
-
getPatternParameter
public PParameter getPatternParameter()
- Since:
- 1.4
-
getDeferringVariables
public java.util.Set<PVariable> getDeferringVariables()
- Specified by:
getDeferringVariables
in classVariableDeferredPConstraint
-
checkSanity
public void checkSanity()
- Specified by:
checkSanity
in interfacePConstraint
- Overrides:
checkSanity
in classBasePConstraint
-
-