edu.illinois.cs.cogcomp.lbjava.infer

Class FirstOrderConjunction

java.lang.Object

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

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

edu.illinois.cs.cogcomp.lbjava.infer.FirstOrderNAryConstraint

edu.illinois.cs.cogcomp.lbjava.infer.FirstOrderConjunction

public class FirstOrderConjunction
extends FirstOrderNAryConstraint

Represents the conjunction of first order constraints.

Author:

Nick Rizzolo

Field Summary

Fields inherited from class edu.illinois.cs.cogcomp.lbjava.infer.FirstOrderNAryConstraint

children

Constructor Summary

Constructors

Constructor and Description
FirstOrderConjunction(FirstOrderConstraint c1, FirstOrderConstraint c2) If either of the arguments is itself a FirstOrderConjunction, its contents are flattened into this FirstOrderConjunction.

Method Summary

Modifier and Type	Method and Description
void	add(FirstOrderConstraint c) If the given constraint has the same type as this constraint, its terms are merged into this constraint; otherwise, it is added as a new term.
boolean	equals(Object o) Two FirstOrderConjunctions are equivalent when they are topologically equivalent, respecting the associativity and commutivity of disjunction.
boolean	evaluate() Determines whether the constraint is satisfied.
int	hashCode() The hash code of a FirstOrderConjunction is the sum of the hash codes of its children plus one.
PropositionalConstraint	propositionalize() Transforms this first order constraint into a propositional constraint.
void	runVisit(Inference infer) Calls the appropriate visit(·) method of the given Inference for this Constraint, as per the visitor pattern.

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

consolidateVariables, contains, getChildren, setQuantificationVariables, size

Methods inherited from class java.lang.Object

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

Constructor Detail

FirstOrderConjunction

public FirstOrderConjunction(FirstOrderConstraint c1,
                             FirstOrderConstraint c2)

If either of the arguments is itself a FirstOrderConjunction, its contents are flattened into this FirstOrderConjunction.

Parameters:

c1 - One constraint to disjunct.

c2 - Another constraint to disjunct.

Method Detail

add

public void add(FirstOrderConstraint c)

If the given constraint has the same type as this constraint, its terms are merged into this constraint; otherwise, it is added as a new term.

Specified by:

add in class FirstOrderNAryConstraint

Parameters:

c - The constraint to add.

evaluate

public boolean evaluate()

Determines whether the constraint is satisfied.

Specified by:

evaluate in class Constraint

propositionalize

public PropositionalConstraint propositionalize()

Transforms this first order constraint into a propositional constraint.

Specified by:

propositionalize in class FirstOrderConstraint

Returns:

The propositionalized constraint.

hashCode

public int hashCode()

The hash code of a FirstOrderConjunction is the sum of the hash codes of its children plus one.

Overrides:

hashCode in class Object

Returns:

The hash code for this FirstOrderConjunction.

equals

public boolean equals(Object o)

Two FirstOrderConjunctions are equivalent when they are topologically equivalent, respecting the associativity and commutivity of disjunction.

Overrides:

equals in class Object

Returns:

true iff the argument is an equivalent FirstOrderConjunction.

runVisit

public void runVisit(Inference infer)

Calls the appropriate visit(·) method of the given Inference for this Constraint, as per the visitor pattern.

Specified by:

runVisit in class Constraint

Parameters:

infer - The inference visiting this constraint.