public abstract class InvocationArgumentReplacer extends ArgumentReplacer
QuantifiedConstraintInvocation representations. Its lone
method computes the value of the constraint invocation's parameter.context, quantificationVariables| Constructor and Description |
|---|
InvocationArgumentReplacer(Object[] c)
Initializing constructor.
|
| Modifier and Type | Method and Description |
|---|---|
abstract Object |
compute()
Computes the value of the constraint invocation's parameter.
|
setQuantificationVariablespublic InvocationArgumentReplacer(Object[] c)
c - The context of the corresponding quantified constraint invocation, except for
quantification variables.public abstract Object compute()
Copyright © 2016. All rights reserved.