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

Packages that use PropositionalConstraint

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

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

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

Modifier and Type	Class and Description
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	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.

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

Modifier and Type	Field and Description
protected PropositionalConstraint[]	PropositionalAtLeast.children The children are stored in an array in this class.
protected PropositionalConstraint	PropositionalNegation.constraint The constraint that the negation is applied to.
protected PropositionalConstraint	PropositionalBinaryConstraint.left The constraint on the left of the operator.
protected PropositionalConstraint	PropositionalBinaryConstraint.right The constraint on the right of the operator.

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

Modifier and Type	Method and Description
PropositionalConstraint	PropositionalVariable.CNF() Produces a new, logically simplified version of this constraint in conjunctive normal form (CNF).
PropositionalConstraint	PropositionalNegation.CNF() Produces a new, logically simplified version of this constraint in conjunctive normal form (CNF).
PropositionalConstraint	PropositionalImplication.CNF() Produces a new, logically simplified version of this constraint in conjunctive normal form (CNF).
PropositionalConstraint	PropositionalDoubleImplication.CNF() Produces a new, logically simplified version of this constraint in conjunctive normal form (CNF).
PropositionalConstraint	PropositionalDisjunction.CNF() Produces a new, logically simplified version of this constraint in conjunctive normal form (CNF).
abstract PropositionalConstraint	PropositionalConstraint.CNF() Produces a new, logically simplified version of this constraint in conjunctive normal form (CNF).
PropositionalConstraint	PropositionalConstant.CNF() Produces a new, logically simplified version of this constraint in conjunctive normal form (CNF).
PropositionalConstraint	PropositionalConjunction.CNF() Produces a new, logically simplified version of this constraint in conjunctive normal form (CNF).
PropositionalConstraint	PropositionalAtLeast.CNF() Produces a new, logically simplified version of this constraint in conjunctive normal form (CNF).
PropositionalConstraint	PropositionalDisjunction.distribute(PropositionalConjunction c) Distributes the given conjunction over this disjunction.
PropositionalConstraint	PropositionalConjunction.distribute(PropositionalDisjunction d) Distributes the given disjunction over this conjunction.
PropositionalConstraint	PropositionalVariable.DNF() Produces a new, logically simplified version of this constraint in disjunctive normal form (DNF).
PropositionalConstraint	PropositionalNegation.DNF() Produces a new, logically simplified version of this constraint in disjunctive normal form (DNF).
PropositionalConstraint	PropositionalImplication.DNF() Produces a new, logically simplified version of this constraint in disjunctive normal form (DNF).
PropositionalConstraint	PropositionalDoubleImplication.DNF() Produces a new, logically simplified version of this constraint in disjunctive normal form (DNF).
PropositionalConstraint	PropositionalDisjunction.DNF() Produces a new, logically simplified version of this constraint in disjunctive normal form (DNF).
abstract PropositionalConstraint	PropositionalConstraint.DNF() Produces a new, logically simplified version of this constraint in disjunctive normal form (DNF).
PropositionalConstraint	PropositionalConstant.DNF() Produces a new, logically simplified version of this constraint in disjunctive normal form (DNF).
PropositionalConstraint	PropositionalConjunction.DNF() Produces a new, logically simplified version of this constraint in disjunctive normal form (DNF).
PropositionalConstraint	PropositionalAtLeast.DNF() Produces a new, logically simplified version of this constraint in disjunctive normal form (DNF).
PropositionalConstraint	PropositionalDisjunction.factor() Factoring a disjunction is the opposite of distributing a conjunction over a disjunction.
PropositionalConstraint	PropositionalConjunction.factor() Factoring a conjunction is the opposite of distributing a disjunction over a conjunction.
PropositionalConstraint[]	PropositionalDisjunction.intersect(PropositionalConstraint c) The intersection of two disjunctions is the set of all terms that are common to both disjunctions; the intersection of a disjunction and some other constraint c is c if c is contained in the disjunction and the empty set otherwise.
PropositionalConstraint[]	PropositionalConjunction.intersect(PropositionalConstraint c) The intersection of two conjunctions is the set of all terms that are common to both conjunctions; the intersection of a conjunction and some other constraint c is c if c is contained in the conjunction and the empty set otherwise.
PropositionalConstraint	PropositionalVariable.negate() Produces a new propositional constraint equivalent to this constraint and that contains no negated constraints other than variables.
PropositionalConstraint	PropositionalNegation.negate() Produces a new propositional constraint equivalent to this constraint and that contains no negated constraints other than variables.
PropositionalConstraint	PropositionalImplication.negate() Produces a new propositional constraint equivalent to this constraint and that contains no negated constraints other than variables.
PropositionalConstraint	PropositionalDoubleImplication.negate() Produces a new propositional constraint equivalent to this constraint and that contains no negated constraints other than variables.
PropositionalConstraint	PropositionalDisjunction.negate() Uses DeMorgan's law to compute the negation of this constraint by distributing that negation to each child.
abstract PropositionalConstraint	PropositionalConstraint.negate() Produces a new propositional constraint equivalent to this constraint and that contains no negated constraints other than variables.
PropositionalConstraint	PropositionalConstant.negate() Produces a new propositional constraint equivalent to this constraint and that contains no negated constraints other than variables.
PropositionalConstraint	PropositionalConjunction.negate() Uses DeMorgan's law to compute the negation of this constraint by distributing that negation to each child.
PropositionalConstraint	PropositionalAtLeast.negate() The negation of an at-least(m) is the at-least(n-m+1) of the negated children.
PropositionalConstraint	UniversalQuantifier.propositionalize() Transforms this first order constraint into a propositional constraint.
PropositionalConstraint	QuantifiedConstraintInvocation.propositionalize() If this method is called without first calling setQuantificationVariables(Vector), the constant representing false will be returned.
PropositionalConstraint	FirstOrderNegation.propositionalize() Transforms this first order constraint into a propositional constraint.
PropositionalConstraint	FirstOrderImplication.propositionalize() Transforms this first order constraint into a propositional constraint.
PropositionalConstraint	FirstOrderEqualityWithVariable.propositionalize() Transforms this first order constraint into a propositional constraint.
PropositionalConstraint	FirstOrderEqualityWithValue.propositionalize() Transforms this first order constraint into a propositional constraint.
PropositionalConstraint	FirstOrderEqualityTwoValues.propositionalize() Transforms this first order constraint into a propositional constraint.
PropositionalConstraint	FirstOrderDoubleImplication.propositionalize() Transforms this first order constraint into a propositional constraint.
PropositionalConstraint	FirstOrderDisjunction.propositionalize() Transforms this first order constraint into a propositional constraint.
abstract PropositionalConstraint	FirstOrderConstraint.propositionalize() Transforms this first order constraint into a propositional constraint.
PropositionalConstraint	FirstOrderConstant.propositionalize() Transforms this first order constraint into a propositional constraint.
PropositionalConstraint	FirstOrderConjunction.propositionalize() Transforms this first order constraint into a propositional constraint.
PropositionalConstraint	ExistentialQuantifier.propositionalize() Transforms this first order constraint into a propositional constraint.
PropositionalConstraint	AtMostQuantifier.propositionalize() Transforms this first order constraint into a propositional constraint.
PropositionalConstraint	AtLeastQuantifier.propositionalize() Transforms this first order constraint into a propositional constraint.
PropositionalConstraint	PropositionalVariable.simplify() Produces a new, logically simplified version of this constraint, preserving variable consolidation.
PropositionalConstraint	PropositionalNegation.simplify() Produces a new, logically simplified version of this constraint, preserving variable consolidation.
PropositionalConstraint	PropositionalImplication.simplify() Produces a new, logically simplified version of this constraint, preserving variable consolidation.
PropositionalConstraint	PropositionalDoubleImplication.simplify() Produces a new, logically simplified version of this constraint, preserving variable consolidation.
PropositionalConstraint	PropositionalDisjunction.simplify() Produces a new, logically simplified version of this constraint, preserving variable consolidation.
abstract PropositionalConstraint	PropositionalConstraint.simplify() Produces a new, logically simplified version of this constraint, preserving variable consolidation.
PropositionalConstraint	PropositionalConstant.simplify() Produces a new, logically simplified version of this constraint, preserving variable consolidation.
PropositionalConstraint	PropositionalConjunction.simplify() Produces a new, logically simplified version of this constraint, preserving variable consolidation.
PropositionalConstraint	PropositionalAtLeast.simplify() Produces a new, logically simplified version of this constraint, preserving variable consolidation.
PropositionalConstraint	PropositionalConjunction.simplify(boolean d) Same as simplify(), except this method gives the caller the ability to optionally leave double implications that are immediate children of this conjunction in tact.
PropositionalConstraint	PropositionalDisjunction.subtract(PropositionalConstraint[] terms) Subtraction from a disjunction simply removes all of the specified terms from it; this method returns a new constraint representing the subtraction.
PropositionalConstraint	PropositionalConjunction.subtract(PropositionalConstraint[] terms) Subtraction from a conjunction simply removes all of the specified terms from it; this method returns a new constraint representing the subtraction.

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

Modifier and Type	Method and Description
void	PropositionalDisjunction.add(PropositionalConstraint 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	PropositionalConjunction.add(PropositionalConstraint 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.
boolean	PropositionalNAryConstraint.contains(PropositionalConstraint c) Determines whether the given constraint is a term of this constraint.
boolean	PropositionalAtLeast.contains(PropositionalConstraint c) Determines whether the given constraint is a term of this constraint.
static boolean	PropositionalDisjunction.increment(PropositionalConstraint[][] c, int[] I) Utility method for iterating through all combinations of constraint children.
PropositionalConstraint[]	PropositionalDisjunction.intersect(PropositionalConstraint c) The intersection of two disjunctions is the set of all terms that are common to both disjunctions; the intersection of a disjunction and some other constraint c is c if c is contained in the disjunction and the empty set otherwise.
PropositionalConstraint[]	PropositionalConjunction.intersect(PropositionalConstraint c) The intersection of two conjunctions is the set of all terms that are common to both conjunctions; the intersection of a conjunction and some other constraint c is c if c is contained in the conjunction and the empty set otherwise.
boolean	PropositionalVariable.moreGeneralThan(PropositionalConstraint c) Compares topology to determine if this constraint is more general than the given constraint; note: this method is not required to be correct when it answers false.
boolean	PropositionalNegation.moreGeneralThan(PropositionalConstraint c) Compares topology to determine if this constraint is more general than the given constraint; note: this method is not required to be correct when it answers false.
boolean	PropositionalImplication.moreGeneralThan(PropositionalConstraint c) Compares topology to determine if this constraint is more general than the given constraint; note: this method is not required to be correct when it answers false.
boolean	PropositionalDoubleImplication.moreGeneralThan(PropositionalConstraint c) Compares topology to determine if this constraint is more general than the given constraint; note: this method is not required to be correct when it answers false.
boolean	PropositionalDisjunction.moreGeneralThan(PropositionalConstraint c) Compares topology to determine if this constraint is more general than the given constraint; note: this method is not required to be correct when it answers false.
abstract boolean	PropositionalConstraint.moreGeneralThan(PropositionalConstraint c) Compares topology to determine if this constraint is more general than the given constraint; note: this method is not required to be correct when it answers false.
boolean	PropositionalConstant.moreGeneralThan(PropositionalConstraint c) Compares topology to determine if this constraint is more general than the given constraint; note: this method is not required to be correct when it answers false.
boolean	PropositionalConjunction.moreGeneralThan(PropositionalConstraint c) Compares topology to determine if this constraint is more general than the given constraint; note: this method is not required to be correct when it answers false.
boolean	PropositionalAtLeast.moreGeneralThan(PropositionalConstraint c) Compares topology to determine if this constraint is more general than the given constraint; note: this method is not required to be correct when it answers false.
PropositionalConstraint	PropositionalDisjunction.subtract(PropositionalConstraint[] terms) Subtraction from a disjunction simply removes all of the specified terms from it; this method returns a new constraint representing the subtraction.
PropositionalConstraint	PropositionalConjunction.subtract(PropositionalConstraint[] terms) Subtraction from a conjunction simply removes all of the specified terms from it; this method returns a new constraint representing the subtraction.

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

Constructor and Description
PropositionalAtLeast(PropositionalConstraint[] c, int m) Initializing constructor.
PropositionalBinaryConstraint(PropositionalConstraint l, PropositionalConstraint r) Initializing constructor.
PropositionalConjunction(PropositionalConstraint c1, PropositionalConstraint c2) If either of the arguments is itself a PropositionalConjunction, its contents are flattened into this PropositionalConjunction.
PropositionalDisjunction(PropositionalConstraint c1, PropositionalConstraint c2) If either of the arguments is itself a PropositionalDisjunction, its contents are flattened into this PropositionalDisjunction.
PropositionalDoubleImplication(PropositionalConstraint l, PropositionalConstraint r) Initializing constructor.
PropositionalImplication(PropositionalConstraint l, PropositionalConstraint r) Initializing constructor.
PropositionalNegation(PropositionalConstraint c) Initializing constructor.