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

Packages that use PropositionalVariable

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

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

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

Modifier and Type	Method and Description
PropositionalVariable	Inference.getVariable(PropositionalVariable v) Retrieves the requested variable, creating it first if it doesn't yet exist.

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

Modifier and Type	Method and Description
PropositionalVariable	Inference.getVariable(PropositionalVariable v) Retrieves the requested variable, creating it first if it doesn't yet exist.
boolean	PropositionalVariable.moreSpecificThan(PropositionalVariable c) Compares topology to determine if this constraint is more specific than the given variable; note: this method is not required to be correct when it answers false.
boolean	PropositionalNegation.moreSpecificThan(PropositionalVariable c) Compares topology to determine if this constraint is more specific than the given variable; note: this method is not required to be correct when it answers false.
boolean	PropositionalImplication.moreSpecificThan(PropositionalVariable c) Compares topology to determine if this constraint is more specific than the given variable; note: this method is not required to be correct when it answers false.
boolean	PropositionalDoubleImplication.moreSpecificThan(PropositionalVariable c) Compares topology to determine if this constraint is more specific than the given variable; note: this method is not required to be correct when it answers false.
boolean	PropositionalDisjunction.moreSpecificThan(PropositionalVariable c) Compares topology to determine if this constraint is more specific than the given variable; note: this method is not required to be correct when it answers false.
abstract boolean	PropositionalConstraint.moreSpecificThan(PropositionalVariable c) Compares topology to determine if this constraint is more specific than the given variable; note: this method is not required to be correct when it answers false.
boolean	PropositionalConstant.moreSpecificThan(PropositionalVariable c) Compares topology to determine if this constraint is more specific than the given variable; note: this method is not required to be correct when it answers false.
boolean	PropositionalConjunction.moreSpecificThan(PropositionalVariable c) Compares topology to determine if this constraint is more specific than the given variable; note: this method is not required to be correct when it answers false.
boolean	PropositionalAtLeast.moreSpecificThan(PropositionalVariable c) Compares topology to determine if this constraint is more specific than the given variable; note: this method is not required to be correct when it answers false.
void	Inference.visit(PropositionalVariable c) Derived classes override this method to do some type of processing on constraints of the parameter's type.
void	ILPInference.visit(PropositionalVariable c) Derived classes override this method to do some type of processing on constraints of the parameter's type.