public class EconomyPartialEvaluatorConfiguration extends Object implements PartialEvaluatorConfiguration
| Constructor and Description |
|---|
EconomyPartialEvaluatorConfiguration() |
| Modifier and Type | Method and Description |
|---|---|
String |
name()
Name of this partial-evaluator configuration.
|
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitregisterDecodingInvocationPluginspublic EconomyPartialEvaluatorConfiguration()
public String name()
PartialEvaluatorConfigurationname in interface PartialEvaluatorConfiguration