public class ConstantDefinitions
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.util.List<java.lang.String> |
comparisonTypes |
static int |
MAX_EDGE_WIDTH |
static java.lang.String |
NONE |
static java.lang.String[] |
stateThicknessTypes |
static java.lang.String[] |
transitionThicknessTypes |
Constructor and Description |
---|
ConstantDefinitions() |
public static final java.lang.String NONE
public static final java.util.List<java.lang.String> comparisonTypes
public static final java.lang.String[] stateThicknessTypes
public static final java.lang.String[] transitionThicknessTypes
public static final int MAX_EDGE_WIDTH