Uses of Class
edu.illinois.cs.cogcomp.lbjava.IR.QuantifiedConstraintExpression

Packages that use QuantifiedConstraintExpression

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

Uses of QuantifiedConstraintExpression in edu.illinois.cs.cogcomp.lbjava

Methods in edu.illinois.cs.cogcomp.lbjava with parameters of type QuantifiedConstraintExpression

Modifier and Type	Method and Description
void	TranslateToJava.generateBoundedQuantifier(QuantifiedConstraintExpression e) AtLeastQuantifierExpressions and AtMostQuantifierExpressions generate their code through this method.

Uses of QuantifiedConstraintExpression in edu.illinois.cs.cogcomp.lbjava.IR

Subclasses of QuantifiedConstraintExpression in edu.illinois.cs.cogcomp.lbjava.IR

Modifier and Type	Class and Description
class	AtLeastQuantifierExpression An "at least" quantifier has the form: atleast expression of argument in (expression) constraint-expression where the first expression must evaluate to an int, the second expression must evaluate to a Collection, and the "at least" quantifier expression is sastisfied iff when taking settings of argument from the Collection, constraint-expression is satisfied at least as many times as the integer the first expression evaluates to.
class	AtMostQuantifierExpression An "at most" quantifier has the form: atmost expression of argument in (expression) constraint-expression where the first expression must evaluate to an int, the second expression must evaluate to a Collection, and the "at most" quantifier expression is sastisfied iff when taking settings of argument from the Collection, constraint-expression is satisfied at most as many times as the integer the first expression evaluates to.
class	ExistentialQuantifierExpression An existential quantifier has the form: exists argument in (expression) constraint-expression where expression must evaluate to a Collection, and the existential quantifier expression is sastisfied iff constraint-expression is satisfied for any setting of argument taken from the Collection.
class	UniversalQuantifierExpression A universal quantifier has the form: forall argument in (expression) constraint-expression where expression must evaluate to a Collection, and the universal quantifier expression is sastisfied iff constraint-expression is satisfied for all settings of argument taken from the Collection .