public class FirstOrderImplication extends FirstOrderBinaryConstraint
left, right| Constructor and Description |
|---|
FirstOrderImplication(FirstOrderConstraint l,
FirstOrderConstraint r)
Initializing constructor.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object o)
Two
FirstOrderImplications are equivalent when they are topologically
equivalent. |
boolean |
evaluate()
Determines whether the constraint is satisfied.
|
int |
hashCode()
The hash code of a
FirstOrderImplication is the sum of the hash codes of its
children plus two. |
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 FirstOrderImplication(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()
FirstOrderImplication is the sum of the hash codes of its
children plus two.public boolean equals(Object o)
FirstOrderImplications are equivalent when they are topologically
equivalent.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.