public class ExistentialQuantifier extends Quantifier
collection, constraint, enclosingQuantificationSettings, quantificationVariable, replacer| Constructor and Description |
|---|
ExistentialQuantifier(String q,
Collection col,
FirstOrderConstraint con)
Initializing constructor.
|
ExistentialQuantifier(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
ExistentialQuantifiers are equivalent when their children are equivalent. |
boolean |
evaluate()
Determines whether the constraint is satisfied.
|
int |
hashCode()
The hash code of a
ExistentialQuantifier is the sum of the hash codes of its
children plus one. |
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 ExistentialQuantifier(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 ExistentialQuantifier(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()
ExistentialQuantifier is the sum of the hash codes of its
children plus one.hashCode in class QuantifierExistentialQuantifier.public boolean equals(Object o)
ExistentialQuantifiers are equivalent when their children are equivalent.equals in class Quantifiertrue iff the argument is an equivalent
ExistentialQuantifier.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.