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

Packages that use Constraint

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

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

Subclasses of Constraint in edu.illinois.cs.cogcomp.lbjava.infer

Modifier and Type	Class and Description
class	AtLeastQuantifier An "at least" quantifier states that the constraint must hold for at least m of the objects in the collection.
class	AtMostQuantifier An "at most" quantifier states that the constraint must hold for no more than m of the objects in the collection.
class	ExistentialQuantifier An existential quantifier states that the constraint must hold for at least one object from the collection.
class	FirstOrderBinaryConstraint Represents a first order constraint involving a binary operator.
class	FirstOrderConjunction Represents the conjunction of first order constraints.
class	FirstOrderConstant A first order constant is either true or false.
class	FirstOrderConstraint All classes for representing first order constraints are derived from this base class.
class	FirstOrderDisjunction Represents the disjunction of first order constraints.
class	FirstOrderDoubleImplication Represents a double implication between two first order constraints.
class	FirstOrderEquality Represents either an equality or an inequality between two values, a classifier application and a value, or two classifier applications.
class	FirstOrderEqualityTwoValues Represents the comparison of two String values.
class	FirstOrderEqualityWithValue Represents the comparison of a classifier application with a value.
class	FirstOrderEqualityWithVariable Represents the comparison of two classifier applications.
class	FirstOrderImplication Represents an implication between two first order constraints.
class	FirstOrderNAryConstraint Represents a first order constraint with an arbitrary number of arguments, usually assumed to be greater than or equal to 2.
class	FirstOrderNegation Represents the negation operator applied to a first order constraint.
class	PropositionalAtLeast Represents the constraint that at least m of the children constraints must be true.
class	PropositionalBinaryConstraint Represents a propositional constraint involving a binary operator.
class	PropositionalConjunction Represents the conjunction of two propositional constraints.
class	PropositionalConstant A propositional constant is either true or false.
class	PropositionalConstraint All classes for representing propositional constraints are derived from this base class.
class	PropositionalDisjunction Represents the disjunction of two propositional constraints.
class	PropositionalDoubleImplication Represents a double implication between two propositional constraints.
class	PropositionalImplication Represents an implication between two propositional constraints.
class	PropositionalNAryConstraint Represents a propositional constraint with an arbitrary number of arguments, usually assumed to be greater than or equal to 2.
class	PropositionalNegation Represents the negation operator applied to a propositional constraint.
class	PropositionalVariable Every propositional variable is Boolean and represents one possible prediction from a classifier application.
class	QuantifiedConstraintInvocation Represents the invocation of a parameterized constraint nested inside at least one quantification expression, where the parameter is a function of the quantification variables.
class	Quantifier A quantifier is a first order constraint parameterized by an object taken from a Java Collection of objects.
class	UniversalQuantifier A universal quantifier states that the constraint must hold for all objects from the collection.

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

Modifier and Type	Field and Description
protected Constraint	Inference.constraint The constraints which must be satisfied by the inference algorithm.

Methods in edu.illinois.cs.cogcomp.lbjava.infer that return Constraint

Modifier and Type	Method and Description
Constraint[]	Quantifier.getChildren() Returns the children of this constraint in an array.
Constraint[]	QuantifiedConstraintInvocation.getChildren() Returns the children of this constraint in an array.
Constraint[]	PropositionalVariable.getChildren() Returns the children of this constraint in an array.
Constraint[]	PropositionalNegation.getChildren() Returns the children of this constraint in an array.
Constraint[]	PropositionalNAryConstraint.getChildren() Returns the children of this constraint in an array.
Constraint[]	PropositionalConstant.getChildren() Returns the children of this constraint in an array.
Constraint[]	PropositionalBinaryConstraint.getChildren() Returns the children of this constraint in an array.
Constraint[]	PropositionalAtLeast.getChildren() Returns the children of this constraint in an array.
Constraint[]	FirstOrderNegation.getChildren() Returns the children of this constraint in an array.
Constraint[]	FirstOrderNAryConstraint.getChildren() Returns the children of this constraint in an array.
Constraint[]	FirstOrderEquality.getChildren() Returns the children of this constraint in an array.
Constraint[]	FirstOrderConstant.getChildren() Returns the children of this constraint in an array.
Constraint[]	FirstOrderBinaryConstraint.getChildren() Returns the children of this constraint in an array.
abstract Constraint[]	Constraint.getChildren() Returns the children of this constraint in an array.

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

Modifier and Type	Method and Description
void	Inference.visitAll(Constraint c) The default method for visiting a constraint simply visits that constraint's children.