LBJ2.infer
Class ArgumentReplacer

java.lang.Object
  LBJ2.infer.ArgumentReplacer

Direct Known Subclasses:

EqualityArgumentReplacer, InvocationArgumentReplacer, QuantifierArgumentReplacer

public abstract class ArgumentReplacer
extends java.lang.Object

Anonymous inner classes extending this class are instantiated by the code generated by the LBJ compiler when creating FirstOrderConstraint representations. The methods of this class are used to compute new values for the arguments of quantified constraint expressions.

See Also:

FirstOrderConstraint

Field Summary

protected java.lang.Object[]	context The settings of non-quantification variables in context at the equality in question.
protected java.util.Vector	quantificationVariables The settings of quantification variables in context at the equality in question.

Constructor Summary

ArgumentReplacer(java.lang.Object[] c)
Initializing constructor.

Method Summary

void	setQuantificationVariables(java.util.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 java.lang.Object[] context

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

quantificationVariables

protected java.util.Vector quantificationVariables

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

Constructor Detail

ArgumentReplacer

public ArgumentReplacer(java.lang.Object[] c)

Initializing constructor.

Parameters:

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

Method Detail

setQuantificationVariables

public void setQuantificationVariables(java.util.Vector q)

Provides the settings of quantification variables.

Parameters:

q - The settings of quantification variables.