public static class ExperimentalOptions.ExperimentalOptionsManager
extends java.lang.Object
(similar to Options
Constructor and Description |
---|
ExperimentalOptionsManager() |
Modifier and Type | Method and Description |
---|---|
static ExperimentalOptions |
get() |
static void |
reset() |
static void |
set(ExperimentalOptions options) |
public static ExperimentalOptions get()
public static void reset()
public static void set(ExperimentalOptions options)
Copyright © 2009-2019 Aarhus University