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

Packages that use EqualityArgumentReplacer

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

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

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

Modifier and Type	Field and Description
protected EqualityArgumentReplacer	FirstOrderEquality.replacer This object provides the implementation of the method that replaces the values and variables in an equality given new settings of the quantification variables; if this member variable is set to null, it means this FirstOrderEquality is not nested in a quantification.

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

Constructor and Description
FirstOrderEquality(boolean e, EqualityArgumentReplacer r) This constructor specifies a variable setter for when this equality is quantified.
FirstOrderEqualityTwoValues(boolean e, String l, String r, EqualityArgumentReplacer ear) This constructor specifies a variable setter for when this equality is quantified.
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, EqualityArgumentReplacer ear) This constructor specifies a variable setter for when this equality is quantified.