LBJ2.infer
Class FirstOrderEquality

java.lang.Object
  LBJ2.infer.Constraint
      LBJ2.infer.FirstOrderConstraint
          LBJ2.infer.FirstOrderEquality

Direct Known Subclasses:

FirstOrderEqualityTwoValues, FirstOrderEqualityWithValue, FirstOrderEqualityWithVariable

public abstract class FirstOrderEquality
extends FirstOrderConstraint

Represents either an equality or an inequality between two values, a classifier application and a value, or two classifier applications.

Field Summary

protected boolean	equality true if equality, false if inequality.
protected EqualityArgumentReplacer	replacer This object provides the implementation of the method that replaces the values and variables in an equality given new settings of the quantification variables; if this member variable is set to null, it means this FirstOrderEquality is not nested in a quantification.
protected java.util.AbstractMap	variableMap The map that this constraint's variables have been consolidated into, or null if variable consolidation has not been performed.

Constructor Summary

FirstOrderEquality(boolean e)
Initializing constructor.

FirstOrderEquality(boolean e, EqualityArgumentReplacer r)
This constructor specifies a variable setter for when this equality is quantified.

Method Summary

Constraint[]

getChildren() Returns the children of this constraint in an array.

Methods inherited from class LBJ2.infer.FirstOrderConstraint

propositionalize, setQuantificationVariables

Methods inherited from class LBJ2.infer.Constraint

consolidateVariables, evaluate, runVisit

Methods inherited from class java.lang.Object

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

Field Detail

equality

protected boolean equality

true if equality, false if inequality.

replacer

protected EqualityArgumentReplacer replacer

This object provides the implementation of the method that replaces the values and variables in an equality given new settings of the quantification variables; if this member variable is set to null, it means this FirstOrderEquality is not nested in a quantification.

variableMap

protected java.util.AbstractMap variableMap

The map that this constraint's variables have been consolidated into, or null if variable consolidation has not been performed.

Constructor Detail

FirstOrderEquality

public FirstOrderEquality(boolean e)

Initializing constructor.

Parameters:

e - Indicates whether this is an equality or an inequality.

FirstOrderEquality

public FirstOrderEquality(boolean e,
                          EqualityArgumentReplacer r)

This constructor specifies a variable setter for when this equality is quantified.

Parameters:

e - Indicates whether this is an equality or an inequality.

r - An argument replacer.

Method Detail

getChildren

public Constraint[] getChildren()

Returns the children of this constraint in an array.

Specified by:

getChildren in class Constraint

Returns:

The children of this constraint in an array.