LBJ2.infer
Class PropositionalBinaryConstraint

java.lang.Object
  LBJ2.infer.Constraint
      LBJ2.infer.PropositionalConstraint
          LBJ2.infer.PropositionalBinaryConstraint

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

PropositionalDoubleImplication, PropositionalImplication

public abstract class PropositionalBinaryConstraint
extends PropositionalConstraint

Represents a propositional constraint involving a binary operator.

Field Summary

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

Constructor Summary

PropositionalBinaryConstraint(PropositionalConstraint l, PropositionalConstraint 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.

Methods inherited from class LBJ2.infer.PropositionalConstraint

clone, CNF, DNF, moreGeneralThan, moreSpecificThan, moreSpecificThan, moreSpecificThan, moreSpecificThan, moreSpecificThan, moreSpecificThan, moreSpecificThan, moreSpecificThan, negate, simplify, toString, write

Methods inherited from class LBJ2.infer.Constraint

evaluate, runVisit

Methods inherited from class java.lang.Object

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

Field Detail

left

protected PropositionalConstraint left

The constraint on the left of the operator.

right

protected PropositionalConstraint right

The constraint on the right of the operator.

Constructor Detail

PropositionalBinaryConstraint

public PropositionalBinaryConstraint(PropositionalConstraint l,
                                     PropositionalConstraint 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.

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.