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

Packages that use FirstOrderConstraint

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

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

Subclasses of FirstOrderConstraint 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	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	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 FirstOrderConstraint

Modifier and Type	Field and Description
protected FirstOrderConstraint	Quantifier.constraint The constraint being quantified.
protected FirstOrderConstraint	QuantifiedConstraintInvocation.constraint The latest result of invoking parameterized.
protected FirstOrderConstraint	FirstOrderNegation.constraint The constraint that the negation is applied to.
protected FirstOrderConstraint	FirstOrderBinaryConstraint.left The constraint on the left of the operator.
protected FirstOrderConstraint	FirstOrderBinaryConstraint.right The constraint on the right of the operator.

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

Modifier and Type	Method and Description
abstract FirstOrderConstraint	ParameterizedConstraint.makeConstraint(Object o) This method builds a first order constraint based on the given input object.

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

Modifier and Type	Method and Description
abstract void	FirstOrderNAryConstraint.add(FirstOrderConstraint c) If the given constraint has the same type as this constraint, its terms are merged into this constraint; otherwise, it is added as a new term.
void	FirstOrderDisjunction.add(FirstOrderConstraint c) If the given constraint has the same type as this constraint, its terms are merged into this constraint; otherwise, it is added as a new term.
void	FirstOrderConjunction.add(FirstOrderConstraint c) If the given constraint has the same type as this constraint, its terms are merged into this constraint; otherwise, it is added as a new term.
void	ILPInference.addConstraint(FirstOrderConstraint c) Adds a constraint to the inference.
boolean	FirstOrderNAryConstraint.contains(FirstOrderConstraint c) Determines whether the given constraint is a term of this constraint.

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

Constructor and Description
AtLeastQuantifier(String q, Collection col, FirstOrderConstraint con, int m) Initializing constructor.
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) Initializing constructor.
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) Initializing constructor.
ExistentialQuantifier(String q, Collection col, FirstOrderConstraint con, QuantifierArgumentReplacer qar) This constructor specifies a variable setter for when this quantifier is itself quantified.
FirstOrderBinaryConstraint(FirstOrderConstraint l, FirstOrderConstraint r) Initializing constructor.
FirstOrderConjunction(FirstOrderConstraint c1, FirstOrderConstraint c2) If either of the arguments is itself a FirstOrderConjunction, its contents are flattened into this FirstOrderConjunction.
FirstOrderDisjunction(FirstOrderConstraint c1, FirstOrderConstraint c2) If either of the arguments is itself a FirstOrderDisjunction, its contents are flattened into this FirstOrderDisjunction.
FirstOrderDoubleImplication(FirstOrderConstraint l, FirstOrderConstraint r) Initializing constructor.
FirstOrderImplication(FirstOrderConstraint l, FirstOrderConstraint r) Initializing constructor.
FirstOrderNegation(FirstOrderConstraint c) Initializing constructor.
Quantifier(String q, Collection col, FirstOrderConstraint con) Initializing constructor.
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) Initializing constructor.
UniversalQuantifier(String q, Collection col, FirstOrderConstraint con, QuantifierArgumentReplacer qar) This constructor specifies a variable setter for when this quantifier is itself quantified.