public class UniversalQuantifier extends Quantifier
collection, constraint, enclosingQuantificationSettings, quantificationVariable, replacer| Constructor and Description |
|---|
UniversalQuantifier(String q,
Collection col,
FirstOrderConstraint con)
Initializing constructor.
|
UniversalQuantifier(String q,
Collection col,
FirstOrderConstraint con,
QuantifierArgumentReplacer qar)
This constructor specifies a variable setter for when this quantifier is itself quantified.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object o)
Two
UniversalQuantifiers are equivalent when their children are equivalent. |
boolean |
evaluate()
Determines whether the constraint is satisfied.
|
int |
hashCode()
The hash code of a
UniversalQuantifier 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. |
void |
setQuantificationVariables(Vector o)
This method sets the given quantification variables to the given object references and
evaluates the expressions involving those variables in this constraint's children.
|
consolidateVariables, getChildren, initializepublic UniversalQuantifier(String q, Collection col, FirstOrderConstraint con)
q - The name of the quantification variable.col - The collection of objects to iterate over.con - The constraint being quantified.public UniversalQuantifier(String q, Collection col, FirstOrderConstraint con, QuantifierArgumentReplacer qar)
q - The name of the quantification variable.col - The collection of objects to iterate over.con - The constraint being quantified.qar - The variable setter.public boolean evaluate()
evaluate in class Constraintpublic void setQuantificationVariables(Vector o)
setQuantificationVariables in class FirstOrderConstrainto - The new object references for the enclosing quantification variables, in order of
nesting.public PropositionalConstraint propositionalize()
propositionalize in class FirstOrderConstraintpublic int hashCode()
UniversalQuantifier is the sum of the hash codes of its
children.hashCode in class QuantifierUniversalQuantifier.public boolean equals(Object o)
UniversalQuantifiers are equivalent when their children are equivalent.equals in class Quantifiertrue iff the argument is an equivalent UniversalQuantifier.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.