LBJ2.infer
Class FirstOrderDisjunction

java.lang.Object
  LBJ2.infer.Constraint
      LBJ2.infer.FirstOrderConstraint
          LBJ2.infer.FirstOrderNAryConstraint
              LBJ2.infer.FirstOrderDisjunction

public class FirstOrderDisjunction
extends FirstOrderNAryConstraint

Represents the disjunction of first order constraints.

Field Summary

Fields inherited from class LBJ2.infer.FirstOrderNAryConstraint

children

Constructor Summary

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

Method Summary

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(java.lang.Object o) Two FirstOrderDisjunctions 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 FirstOrderDisjunction is the sum of the hash codes of its children.
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 LBJ2.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

FirstOrderDisjunction

public FirstOrderDisjunction(FirstOrderConstraint c1,
                             FirstOrderConstraint c2)

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

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 FirstOrderDisjunction is the sum of the hash codes of its children.

Overrides:

hashCode in class java.lang.Object

Returns:

The hash code for this FirstOrderDisjunction.

equals

public boolean equals(java.lang.Object o)

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

Overrides:

equals in class java.lang.Object

Returns:

true iff the argument is an equivalent FirstOrderDisjunction.

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.