LBJ2.infer
Class FirstOrderBinaryConstraint

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

Direct Known Subclasses:

FirstOrderDoubleImplication, FirstOrderImplication

public abstract class FirstOrderBinaryConstraint
extends FirstOrderConstraint

Represents a first order constraint involving a binary operator.

Field Summary

protected FirstOrderConstraint	left The constraint on the left of the operator.
protected FirstOrderConstraint	right The constraint on the right of the operator.

Constructor Summary

FirstOrderBinaryConstraint(FirstOrderConstraint l, FirstOrderConstraint r)
Initializing constructor.

Method Summary

void	consolidateVariables(java.util.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(java.util.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 LBJ2.infer.FirstOrderConstraint

propositionalize

Methods inherited from class LBJ2.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(java.util.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(java.util.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.