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

Packages that use PropositionalDisjunction

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

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

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

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