edu.illinois.cs.cogcomp.lbjava.infer

Class ArgumentReplacer

java.lang.Object

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

Direct Known Subclasses:

EqualityArgumentReplacer, InvocationArgumentReplacer, QuantifierArgumentReplacer

public abstract class ArgumentReplacer
extends Object

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 quantified constraint expressions.

Author:

Nick Rizzolo

See Also:

FirstOrderConstraint

Field Summary

Fields

Modifier and Type	Field and Description
protected Object[]	context The settings of non-quantification variables in context at the equality in question.
protected Vector	quantificationVariables The settings of quantification variables in context at the equality in question.

Constructor Summary

Constructors

Constructor and Description
ArgumentReplacer(Object[] c) Initializing constructor.

Method Summary

Modifier and Type	Method and Description
void	setQuantificationVariables(Vector q) Provides the settings of quantification variables.

Methods inherited from class java.lang.Object

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

Field Detail

context

protected Object[] context

The settings of non-quantification variables in context at the equality in question.

quantificationVariables

protected Vector quantificationVariables

The settings of quantification variables in context at the equality in question.

Constructor Detail

ArgumentReplacer

public ArgumentReplacer(Object[] c)

Initializing constructor.

Parameters:

c - The context of the corresponding quantified constraint expression, except for quantification variables.

Method Detail

setQuantificationVariables

public void setQuantificationVariables(Vector q)

Provides the settings of quantification variables.

Parameters:

q - The settings of quantification variables.