edu.illinois.cs.cogcomp.lbjava.infer

Class PropositionalBinaryConstraint

java.lang.Object

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

edu.illinois.cs.cogcomp.lbjava.infer.PropositionalConstraint

edu.illinois.cs.cogcomp.lbjava.infer.PropositionalBinaryConstraint

All Implemented Interfaces:

Cloneable

Direct Known Subclasses:

PropositionalDoubleImplication, PropositionalImplication

public abstract class PropositionalBinaryConstraint
extends PropositionalConstraint

Represents a propositional constraint involving a binary operator.

Author:

Nick Rizzolo

Field Summary

Fields

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

Constructor Summary

Constructors

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

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

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

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