Uses of Package
edu.illinois.cs.cogcomp.lbjava.infer

Packages that use edu.illinois.cs.cogcomp.lbjava.infer

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

Classes in edu.illinois.cs.cogcomp.lbjava.infer used by edu.illinois.cs.cogcomp.lbjava.infer

Class and Description
ArgumentReplacer Anonymous inner classes extending this class are instantiated by the code generated by the LBJava compiler when creating FirstOrderConstraint representations.
AtLeastQuantifier An "at least" quantifier states that the constraint must hold for at least m of the objects in the collection.
AtMostQuantifier An "at most" quantifier states that the constraint must hold for no more than m of the objects in the collection.
Constraint A constraint is an expression that is either satisified or unsatisfied by its constituent classifier applications.
EqualityArgumentReplacer Anonymous inner classes extending this class are instantiated by the code generated by the LBJava compiler when creating FirstOrderConstraint representations.
ExistentialQuantifier An existential quantifier states that the constraint must hold for at least one object from the collection.
FirstOrderBinaryConstraint Represents a first order constraint involving a binary operator.
FirstOrderConjunction Represents the conjunction of first order constraints.
FirstOrderConstant A first order constant is either true or false.
FirstOrderConstraint All classes for representing first order constraints are derived from this base class.
FirstOrderDisjunction Represents the disjunction of first order constraints.
FirstOrderDoubleImplication Represents a double implication between two first order constraints.
FirstOrderEquality Represents either an equality or an inequality between two values, a classifier application and a value, or two classifier applications.
FirstOrderEqualityTwoValues Represents the comparison of two String values.
FirstOrderEqualityWithValue Represents the comparison of a classifier application with a value.
FirstOrderEqualityWithVariable Represents the comparison of two classifier applications.
FirstOrderImplication Represents an implication between two first order constraints.
FirstOrderNAryConstraint Represents a first order constraint with an arbitrary number of arguments, usually assumed to be greater than or equal to 2.
FirstOrderNegation Represents the negation operator applied to a first order constraint.
FirstOrderVariable Represents a classifier application.
Inference An object of this class keeps track of all the information necessary to perform inference.
InvocationArgumentReplacer Anonymous inner classes extending this class are instantiated by the code generated by the LBJava compiler when creating QuantifiedConstraintInvocation representations.
ParameterizedConstraint This class represents an LBJava constraint as it appears in a source file.
PropositionalAtLeast Represents the constraint that at least m of the children constraints must be true.
PropositionalBinaryConstraint Represents a propositional constraint involving a binary operator.
PropositionalConjunction Represents the conjunction of two propositional constraints.
PropositionalConstant A propositional constant is either true or false.
PropositionalConstraint All classes for representing propositional constraints are derived from this base class.
PropositionalDisjunction Represents the disjunction of two propositional constraints.
PropositionalDoubleImplication Represents a double implication between two propositional constraints.
PropositionalImplication Represents an implication between two propositional constraints.
PropositionalNAryConstraint Represents a propositional constraint with an arbitrary number of arguments, usually assumed to be greater than or equal to 2.
PropositionalNegation Represents the negation operator applied to a propositional constraint.
PropositionalVariable Every propositional variable is Boolean and represents one possible prediction from a classifier application.
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.
Quantifier A quantifier is a first order constraint parameterized by an object taken from a Java Collection of objects.
QuantifierArgumentReplacer Anonymous inner classes extending this class are instantiated by the code generated by the LBJava compiler when creating FirstOrderConstraint representations.
UniversalQuantifier A universal quantifier states that the constraint must hold for all objects from the collection.
ZeroOneILPProblem Can be used to represent an ILP problem, assuming all variables are 0-1.