LBJ2.infer
Class FirstOrderDoubleImplication

java.lang.Object
  LBJ2.infer.Constraint
      LBJ2.infer.FirstOrderConstraint
          LBJ2.infer.FirstOrderBinaryConstraint
              LBJ2.infer.FirstOrderDoubleImplication

public class FirstOrderDoubleImplication
extends FirstOrderBinaryConstraint

Represents a double implication between two first order constraints.

Field Summary

Fields inherited from class LBJ2.infer.FirstOrderBinaryConstraint

left, right

Constructor Summary

FirstOrderDoubleImplication(FirstOrderConstraint l, FirstOrderConstraint r)
Initializing constructor.

Method Summary

boolean	equals(java.lang.Object o) Two FirstOrderDoubleImplications are equivalent when they are topologically equivalent, respecting the commutativity of double implication.
boolean	evaluate() Determines whether the constraint is satisfied.
int	hashCode() The hash code of a FirstOrderDoubleImplication is the sum of the hash codes of its children plus three.
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.FirstOrderBinaryConstraint

consolidateVariables, getChildren, setQuantificationVariables

Methods inherited from class java.lang.Object

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

Constructor Detail

FirstOrderDoubleImplication

public FirstOrderDoubleImplication(FirstOrderConstraint l,
                                   FirstOrderConstraint r)

Initializing constructor.

Parameters:

l - The constraint on the left of the operator.

r - The constraint on the right of the operator.

Method Detail

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

Overrides:

hashCode in class java.lang.Object

Returns:

The hash code for this FirstOrderDoubleImplication.

equals

public boolean equals(java.lang.Object o)

Two FirstOrderDoubleImplications are equivalent when they are topologically equivalent, respecting the commutativity of double implication.

Overrides:

equals in class java.lang.Object

Returns:

true iff the argument is an equivalent FirstOrderDoubleImplication.

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.