edu.illinois.cs.cogcomp.lbjava.infer

Class EqualityArgumentReplacer

java.lang.Object

edu.illinois.cs.cogcomp.lbjava.infer.ArgumentReplacer

edu.illinois.cs.cogcomp.lbjava.infer.EqualityArgumentReplacer

public abstract class EqualityArgumentReplacer
extends ArgumentReplacer

Anonymous inner classes extending this class are instantiated by the code generated by the LBJava compiler when creating FirstOrderConstraint representations. The methods of this class are used to compute new values for the arguments of a quantified FirstOrderEquality. Only certain value returning methods are overridden. The others will throw UnsupportedOperationExceptions.

Author:

Nick Rizzolo

See Also:

FirstOrderConstraint, FirstOrderEquality, UnsupportedOperationException

Field Summary

Fields

Modifier and Type	Field and Description
boolean	leftConstant This flag is set if the left hand side of the equality is not quantified.
boolean	rightConstant This flag is set if the right hand side of the equality is not quantified.

Fields inherited from class edu.illinois.cs.cogcomp.lbjava.infer.ArgumentReplacer

context, quantificationVariables

Constructor Summary

Constructors

Constructor and Description
EqualityArgumentReplacer(Object[] c) Initializing constructor.
EqualityArgumentReplacer(Object[] c, boolean r) Use this constructor to indicate which of the two arguments of the equality is in fact not quantified.

Method Summary

Modifier and Type	Method and Description
Object	getLeftObject() Computes the object on the left hand side of the equality.
String	getLeftValue() Computes the value on the left hand side of the equality.
Object	getRightObject() Computes the object on the right hand side of the equality.
String	getRightValue() Computes the value on the right hand side of the equality.

Methods inherited from class edu.illinois.cs.cogcomp.lbjava.infer.ArgumentReplacer

setQuantificationVariables

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

leftConstant

public boolean leftConstant

This flag is set if the left hand side of the equality is not quantified.

rightConstant

public boolean rightConstant

This flag is set if the right hand side of the equality is not quantified.

Constructor Detail

EqualityArgumentReplacer

public EqualityArgumentReplacer(Object[] c)

Initializing constructor.

Parameters:

c - The context of the corresponding equality, except for quantification variables.

EqualityArgumentReplacer

public EqualityArgumentReplacer(Object[] c,
                                boolean r)

Use this constructor to indicate which of the two arguments of the equality is in fact not quantified.

Parameters:

c - The context of the corresponding equality, except for quantification variables.

r - Set to false if the unquantified argument is the left; set to true if the unquantified argument is the right.

Method Detail

getLeftValue

public String getLeftValue()

Computes the value on the left hand side of the equality. This method needs to be overridden if it is to be called, since by default it simply throws an UnsupportedOperationException.

getRightValue

public String getRightValue()

Computes the value on the right hand side of the equality. This method needs to be overridden if it is to be called, since by default it simply throws an UnsupportedOperationException.

getLeftObject

public Object getLeftObject()

Computes the object on the left hand side of the equality. This method needs to be overridden if it is to be called, since by default it simply throws an UnsupportedOperationException.

getRightObject

public Object getRightObject()

Computes the object on the right hand side of the equality. This method needs to be overridden if it is to be called, since by default it simply throws an UnsupportedOperationException.