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.
|
setQuantificationVariables
public 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.