edu.illinois.cs.cogcomp.lbjava.infer

Class FirstOrderBinaryConstraint

java.lang.Object

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

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

edu.illinois.cs.cogcomp.lbjava.infer.FirstOrderBinaryConstraint

Direct Known Subclasses:

FirstOrderDoubleImplication, FirstOrderImplication

public abstract class FirstOrderBinaryConstraint
extends FirstOrderConstraint

Represents a first order constraint involving a binary operator.

Author:

Nick Rizzolo

Field Summary

Fields

Modifier and Type	Field and Description
protected FirstOrderConstraint	left The constraint on the left of the operator.
protected FirstOrderConstraint	right The constraint on the right of the operator.

Constructor Summary

Constructors

Constructor and Description
FirstOrderBinaryConstraint(FirstOrderConstraint l, FirstOrderConstraint r) Initializing constructor.

Method Summary

Modifier and Type	Method and Description
void	consolidateVariables(AbstractMap m) Replaces all unquantified variables with the unique copy stored as a value of the given map; also instantiates all quantified variables and stores them in the given map.
Constraint[]	getChildren() Returns the children of this constraint in an array.
void	setQuantificationVariables(Vector o) This method sets the given quantification variables to the given object references and evaluates the expressions involving those variables in this constraint's FirstOrderEquality children.

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

propositionalize

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

evaluate, runVisit

Methods inherited from class java.lang.Object

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

Field Detail

left

protected FirstOrderConstraint left

The constraint on the left of the operator.

right

protected FirstOrderConstraint right

The constraint on the right of the operator.

Constructor Detail

FirstOrderBinaryConstraint

public FirstOrderBinaryConstraint(FirstOrderConstraint l,
                                  FirstOrderConstraint r)

Initializing constructor.

Parameters:

l - The constraint on the left of the operator.

r - The constraint on the right of the operator.

Method Detail

consolidateVariables

public void consolidateVariables(AbstractMap m)

Replaces all unquantified variables with the unique copy stored as a value of the given map; also instantiates all quantified variables and stores them in the given map.

Specified by:

consolidateVariables in class Constraint

Parameters:

m - The map in which to find unique copies of the variables.

setQuantificationVariables

public void setQuantificationVariables(Vector o)

This method sets the given quantification variables to the given object references and evaluates the expressions involving those variables in this constraint's FirstOrderEquality children.

Specified by:

setQuantificationVariables in class FirstOrderConstraint

Parameters:

o - The new object references for the enclosing quantification variables, in order of nesting.

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.