public class DiscretizationManager
extends java.lang.Object
Constructor and Description |
---|
DiscretizationManager() |
Modifier and Type | Method and Description |
---|---|
static void |
addDiscretizer(java.lang.String name) |
static Discretizer |
getDiscretizer(int num) |
static int |
getNumDiscretizers() |
static void |
init() |
public static void init()
public static void addDiscretizer(java.lang.String name)
public static int getNumDiscretizers()
public static Discretizer getDiscretizer(int num)