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

Class Inequality

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.Inequality

All Implemented Interfaces:

PConstraint, PTraceable

public class Inequality
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
Inequality(PBody pBody, PVariable who, PVariable withWhom)
Inequality(PBody pBody, PVariable who, PVariable withWhom, boolean weak)

Method Summary

Modifier and Type	Method	Description
void	doReplaceVariable(PVariable obsolete, PVariable replacement)
void	eliminateWeak()	Eliminates a weak inequality constraint if it can be ignored when who is the same as withWhom, or if any if them is undeducible.
Set<PVariable>	getDeducedVariables()	The set of variables whose potential values can be enumerated (once all non-deduced variables have known values).
Set<PVariable>	getDeferringVariables()
PVariable	getWho()
PVariable	getWithWhom()
boolean	isEliminable()	A weak inequality constraint is eliminable if who is the same as withWhom, or if any if them is undeducible.
boolean	isWeak()	The inequality constraint is weak if it can be ignored when who is the same as withWhom, or if any if them is undeducible.
protected String	toStringRest()

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

isReadyAt

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

Constructor Details

Inequality

public Inequality(PBody pBody,
 PVariable who,
 PVariable withWhom)

Inequality

public Inequality(PBody pBody,
 PVariable who,
 PVariable withWhom,
 boolean weak)

Method Details

getDeferringVariables

public Set<PVariable> getDeferringVariables()

Specified by:

getDeferringVariables in class VariableDeferredPConstraint

toStringRest

protected String toStringRest()

Specified by:

toStringRest in class BasePConstraint

doReplaceVariable

public void doReplaceVariable(PVariable obsolete,
 PVariable replacement)

Specified by:

doReplaceVariable 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).

isWeak

public boolean isWeak()

The inequality constraint is weak if it can be ignored when who is the same as withWhom, or if any if them is undeducible.

Returns:

the weak

isEliminable

public boolean isEliminable()

A weak inequality constraint is eliminable if who is the same as withWhom, or if any if them is undeducible.

eliminateWeak

public void eliminateWeak()

Eliminates a weak inequality constraint if it can be ignored when who is the same as withWhom, or if any if them is undeducible.

getWho

public PVariable getWho()

getWithWhom

public PVariable getWithWhom()