public class FirstOrderDoubleImplication extends FirstOrderBinaryConstraint
left, right| Constructor and Description |
|---|
FirstOrderDoubleImplication(FirstOrderConstraint l,
FirstOrderConstraint r)
Initializing constructor.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(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. |
consolidateVariables, getChildren, setQuantificationVariablespublic FirstOrderDoubleImplication(FirstOrderConstraint l, FirstOrderConstraint r)
l - The constraint on the left of the operator.r - The constraint on the right of the operator.public boolean evaluate()
evaluate in class Constraintpublic PropositionalConstraint propositionalize()
propositionalize in class FirstOrderConstraintpublic int hashCode()
FirstOrderDoubleImplication is the sum of the hash codes of
its children plus three.public boolean equals(Object o)
FirstOrderDoubleImplications are equivalent when they are topologically
equivalent, respecting the commutativity of double implication.public void runVisit(Inference infer)
visit(·) method of the given Inference
for this Constraint, as per the visitor pattern.runVisit in class Constraintinfer - The inference visiting this constraint.Copyright © 2016. All rights reserved.