edu.illinois.cs.cogcomp.lbjava.infer

Class Quantifier

java.lang.Object

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

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

edu.illinois.cs.cogcomp.lbjava.infer.Quantifier

Direct Known Subclasses:

AtLeastQuantifier, AtMostQuantifier, ExistentialQuantifier, UniversalQuantifier

public abstract class Quantifier
extends FirstOrderConstraint

A quantifier is a first order constraint parameterized by an object taken from a Java Collection of objects.

Author:

Nick Rizzolo

Field Summary

Fields

Modifier and Type	Field and Description
protected Collection	collection The collection of objects to iterate over.
protected FirstOrderConstraint	constraint The constraint being quantified.
protected Vector	enclosingQuantificationSettings A list of the objects stored in the quantification variables of enclosing quantifiers.
protected String	quantificationVariable The name of the quantification variable.
protected QuantifierArgumentReplacer	replacer The implementation of the functions that compute any parameters this quantifier may have.

Constructor Summary

Constructors

Constructor and Description
Quantifier(String q, Collection col, FirstOrderConstraint con) Initializing constructor.
Quantifier(String q, Collection col, FirstOrderConstraint con, QuantifierArgumentReplacer qar) This constructor specifies a variable setter for when this quantifier is itself quantified.

Method Summary

Modifier and Type	Method and Description
void	consolidateVariables(AbstractMap m) Sets the variable map object stored in this object to the given argument; also instantiates all quantified variables and stores them in the map.
boolean	equals(Object o) Two Quantifiers are equivalent when their children are equivalent.
Constraint[]	getChildren() Returns the children of this constraint in an array.
int	hashCode() The hash code of a Quantifier is the sum of the hash codes of its children plus three.
protected int	initialize() Makes sure that the enclosingQuantificationSettings vector exists, then adds a place holder for this quantifier's quantification variable setting.

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

propositionalize, setQuantificationVariables

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

evaluate, runVisit

Methods inherited from class java.lang.Object

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

Field Detail

quantificationVariable

protected String quantificationVariable

The name of the quantification variable.

collection

protected Collection collection

The collection of objects to iterate over.

constraint

protected FirstOrderConstraint constraint

The constraint being quantified.

enclosingQuantificationSettings

protected Vector enclosingQuantificationSettings

A list of the objects stored in the quantification variables of enclosing quantifiers.

replacer

protected QuantifierArgumentReplacer replacer

The implementation of the functions that compute any parameters this quantifier may have.

Constructor Detail

Quantifier

public Quantifier(String q,
                  Collection col,
                  FirstOrderConstraint con)

Initializing constructor.

Parameters:

q - The name of the quantification variable.

col - The collection of objects to iterate over.

con - The constraint being quantified.

Quantifier

public Quantifier(String q,
                  Collection col,
                  FirstOrderConstraint con,
                  QuantifierArgumentReplacer qar)

This constructor specifies a variable setter for when this quantifier is itself quantified.

Parameters:

q - The name of the quantification variable.

col - The collection of objects to iterate over.

con - The constraint being quantified.

qar - The variable setter.

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.

initialize

protected int initialize()

Makes sure that the enclosingQuantificationSettings vector exists, then adds a place holder for this quantifier's quantification variable setting.

Returns:

The index of this quantifier's quantification variable.

consolidateVariables

public void consolidateVariables(AbstractMap m)

Sets the variable map object stored in this object to the given argument; also instantiates all quantified variables and stores them in the map.

Specified by:

consolidateVariables in class Constraint

Parameters:

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

hashCode

public int hashCode()

The hash code of a Quantifier is the sum of the hash codes of its children plus three.

Overrides:

hashCode in class Object

Returns:

The hash code for this Quantifier.

equals

public boolean equals(Object o)

Two Quantifiers are equivalent when their children are equivalent.

Overrides:

equals in class Object

Returns:

true iff the argument is an equivalent Quantifier.