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

Packages that use PropositionalConjunction

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

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

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

Modifier and Type	Method and Description
boolean	PropositionalConjunction.containsAll(PropositionalConjunction c) Determines whether this conjunction contains all of the terms that the given conjunction contains.
PropositionalConstraint	PropositionalDisjunction.distribute(PropositionalConjunction c) Distributes the given conjunction over this disjunction.
boolean	PropositionalVariable.moreSpecificThan(PropositionalConjunction c) Compares topology to determine if this constraint is more specific than the given conjunction; note: this method is not required to be correct when it answers false.
boolean	PropositionalNegation.moreSpecificThan(PropositionalConjunction c) Compares topology to determine if this constraint is more specific than the given conjunction; note: this method is not required to be correct when it answers false.
boolean	PropositionalImplication.moreSpecificThan(PropositionalConjunction c) Compares topology to determine if this constraint is more specific than the given conjunction; note: this method is not required to be correct when it answers false.
boolean	PropositionalDoubleImplication.moreSpecificThan(PropositionalConjunction c) Compares topology to determine if this constraint is more specific than the given conjunction; note: this method is not required to be correct when it answers false.
boolean	PropositionalDisjunction.moreSpecificThan(PropositionalConjunction c) Compares topology to determine if this constraint is more specific than the given conjunction; note: this method is not required to be correct when it answers false.
abstract boolean	PropositionalConstraint.moreSpecificThan(PropositionalConjunction c) Compares topology to determine if this constraint is more specific than the given conjunction; note: this method is not required to be correct when it answers false.
boolean	PropositionalConstant.moreSpecificThan(PropositionalConjunction c) Compares topology to determine if this constraint is more specific than the given conjunction; note: this method is not required to be correct when it answers false.
boolean	PropositionalConjunction.moreSpecificThan(PropositionalConjunction c) Compares topology to determine if this constraint is more specific than the given conjunction; note: this method is not required to be correct when it answers false.
boolean	PropositionalAtLeast.moreSpecificThan(PropositionalConjunction c) Compares topology to determine if this constraint is more specific than the given conjunction; note: this method is not required to be correct when it answers false.
void	Inference.visit(PropositionalConjunction c) Derived classes override this method to do some type of processing on constraints of the parameter's type.
void	ILPInference.visit(PropositionalConjunction c) Derived classes override this method to do some type of processing on constraints of the parameter's type.