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

Packages that use ConstraintExpression

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

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

Subclasses of ConstraintExpression 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	BinaryConstraintExpression This class represents a constraint expression involving a binary operator.
class	ConstraintEqualityExpression This class represents the atom of the LBJava constraint expression: the (in)equality comparison.
class	ConstraintInvocation A constraint may be invoked from within another constraint using the @ operator.
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	NegatedConstraintExpression Represents the negation of a constraint expression.
class	QuantifiedConstraintExpression A quantified constraint expression is a compact way to specify a constraint as a function of every object in a given 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 .

Fields in edu.illinois.cs.cogcomp.lbjava.IR declared as ConstraintExpression

Modifier and Type	Field and Description
ConstraintExpression	QuantifiedConstraintExpression.constraint (¬ø) The quantified constraint.
ConstraintExpression	NegatedConstraintExpression.constraint (¬ø) The constraint being negated.
ConstraintExpression	ConstraintStatementExpression.constraint (¬ø) The expression representing the constraint.
ConstraintExpression	BinaryConstraintExpression.left (¬ø) The left hand side of the binary expression.
ConstraintExpression	BinaryConstraintExpression.right (¬ø) The right hand side of the binary expression.

Constructors in edu.illinois.cs.cogcomp.lbjava.IR with parameters of type ConstraintExpression

Constructor and Description
AtLeastQuantifierExpression(int line, int byteOffset, Expression lb, Argument a, Expression c, ConstraintExpression co) Full constructor.
AtLeastQuantifierExpression(TokenValue t, Expression lb, Argument a, Expression c, ConstraintExpression co) Parser's constructor.
AtMostQuantifierExpression(int line, int byteOffset, Expression ub, Argument a, Expression c, ConstraintExpression co) Full constructor.
AtMostQuantifierExpression(TokenValue t, Expression ub, Argument a, Expression c, ConstraintExpression co) Parser's constructor.
BinaryConstraintExpression(Operator op, ConstraintExpression l, ConstraintExpression r) Initializing constructor.
ConstraintStatementExpression(ConstraintExpression c) Full constructor.
ExistentialQuantifierExpression(int line, int byteOffset, Argument a, Expression c, ConstraintExpression co) Full constructor.
ExistentialQuantifierExpression(TokenValue t, Argument a, Expression c, ConstraintExpression co) Parser's constructor.
NegatedConstraintExpression(int line, int byteOffset, ConstraintExpression c) Full constructor.
NegatedConstraintExpression(TokenValue t, ConstraintExpression c) Parser's constructor.
QuantifiedConstraintExpression(int line, int byteOffset, Argument a, Expression c, ConstraintExpression co) Full constructor.
UniversalQuantifierExpression(int line, int byteOffset, Argument a, Expression c, ConstraintExpression co) Full constructor.
UniversalQuantifierExpression(TokenValue t, Argument a, Expression c, ConstraintExpression co) Parser's constructor.