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

Packages that use FirstOrderVariable

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

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

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

Modifier and Type	Field and Description
protected FirstOrderVariable	FirstOrderEqualityWithVariable.left The variable on the left of the equality.
protected FirstOrderVariable	FirstOrderEqualityWithValue.left The variable on the left of the equality.
protected FirstOrderVariable	FirstOrderEqualityWithVariable.right The classifier application on the right of the equality.

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

Modifier and Type	Method and Description
FirstOrderVariable	Inference.getVariable(FirstOrderVariable 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 FirstOrderVariable

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

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

Constructor and Description
FirstOrderEqualityWithValue(boolean e, FirstOrderVariable l, String r) Initializing constructor.
FirstOrderEqualityWithValue(boolean e, FirstOrderVariable l, String r, EqualityArgumentReplacer ear) This constructor specifies a variable setter for when this equality is quantified.
FirstOrderEqualityWithVariable(boolean e, FirstOrderVariable l, FirstOrderVariable r) Initializing constructor.
FirstOrderEqualityWithVariable(boolean e, FirstOrderVariable l, FirstOrderVariable r, EqualityArgumentReplacer ear) This constructor specifies a variable setter for when this equality is quantified.