edu.illinois.cs.cogcomp.lbjava.infer

Class FirstOrderEquality

java.lang.Object

edu.illinois.cs.cogcomp.lbjava.infer.Constraint

edu.illinois.cs.cogcomp.lbjava.infer.FirstOrderConstraint

edu.illinois.cs.cogcomp.lbjava.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.

Author:

Nick Rizzolo

Field Summary

Fields

Modifier and Type	Field and Description
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 AbstractMap	variableMap The map that this constraint's variables have been consolidated into, or null if variable consolidation has not been performed.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
Constraint[]	getChildren() Returns the children of this constraint in an array.

Methods inherited from class edu.illinois.cs.cogcomp.lbjava.infer.FirstOrderConstraint

propositionalize, setQuantificationVariables

Methods inherited from class edu.illinois.cs.cogcomp.lbjava.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 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.