Package tools.refinery.interpreter.matchers.psystem.basicdeferred

Class ExportedParameter

java.lang.Object

tools.refinery.interpreter.matchers.psystem.BasePConstraint

tools.refinery.interpreter.matchers.psystem.DeferredPConstraint

tools.refinery.interpreter.matchers.psystem.VariableDeferredPConstraint

tools.refinery.interpreter.matchers.psystem.basicdeferred.ExportedParameter

All Implemented Interfaces:

PConstraint, PTraceable

public class ExportedParameter
extends VariableDeferredPConstraint

Field Summary

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
ExportedParameter(PBody pBody, PVariable parameterVariable, PParameter patternParameter)

Method Summary

Modifier and Type	Method	Description
void	checkSanity()
void	doReplaceVariable(PVariable obsolete, PVariable replacement)
Set<PVariable>	getDeducedVariables()	The set of variables whose potential values can be enumerated (once all non-deduced variables have known values).
Set<PVariable>	getDeferringVariables()
String	getParameterName()	The name of the parameter; usually, it is expected that getParameterVariable() is more useful, except maybe for debugging purposes.
PVariable	getParameterVariable()
PParameter	getPatternParameter()
protected String	toStringRest()

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

isReadyAt

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

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

Constructor Details

ExportedParameter

public ExportedParameter(PBody pBody,
 PVariable parameterVariable,
 PParameter patternParameter)

Since:

1.4

Method Details

doReplaceVariable

public void doReplaceVariable(PVariable obsolete,
 PVariable replacement)

Specified by:

doReplaceVariable in class BasePConstraint

toStringRest

protected String toStringRest()

Specified by:

toStringRest in class BasePConstraint

getDeducedVariables

public 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 String getParameterName()

The name of the parameter; usually, it is expected that getParameterVariable() 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 Set<PVariable> getDeferringVariables()

Specified by:

getDeferringVariables in class VariableDeferredPConstraint

checkSanity

public void checkSanity()

Specified by:

checkSanity in interface PConstraint

Overrides:

checkSanity in class BasePConstraint