Uses of Class
edu.illinois.cs.cogcomp.lbjava.infer.QuantifierArgumentReplacer

Packages that use QuantifierArgumentReplacer

Package	Description
edu.illinois.cs.cogcomp.lbjava.infer

Uses of QuantifierArgumentReplacer in edu.illinois.cs.cogcomp.lbjava.infer

Fields in edu.illinois.cs.cogcomp.lbjava.infer declared as QuantifierArgumentReplacer

Modifier and Type	Field and Description
protected QuantifierArgumentReplacer	Quantifier.replacer The implementation of the functions that compute any parameters this quantifier may have.

Constructors in edu.illinois.cs.cogcomp.lbjava.infer with parameters of type QuantifierArgumentReplacer

Constructor and Description
AtLeastQuantifier(String q, Collection col, FirstOrderConstraint con, int m, QuantifierArgumentReplacer qar) This constructor specifies a variable setter for when this quantifier is itself quantified.
AtMostQuantifier(String q, Collection col, FirstOrderConstraint con, int m, QuantifierArgumentReplacer qar) This constructor specifies a variable setter for when this quantifier is itself quantified.
ExistentialQuantifier(String q, Collection col, FirstOrderConstraint con, QuantifierArgumentReplacer qar) This constructor specifies a variable setter for when this quantifier is itself quantified.
Quantifier(String q, Collection col, FirstOrderConstraint con, QuantifierArgumentReplacer qar) This constructor specifies a variable setter for when this quantifier is itself quantified.
UniversalQuantifier(String q, Collection col, FirstOrderConstraint con, QuantifierArgumentReplacer qar) This constructor specifies a variable setter for when this quantifier is itself quantified.