Java Reference
Java Reference
mainConstants.java
static final int CST_SUB_VAR
Definition: mainConstants.java:23
static final int VAR_TIMES_CST
Definition: mainConstants.java:22
static final int DOMAIN_INT_VAR
Definition: mainConstants.java:18
static final int BOOLEAN_VAR
Definition: mainConstants.java:19
static final int CONST_VAR
Definition: mainConstants.java:20
static final int OPP_VAR
Definition: mainConstants.java:24
static final int VAR_ADD_CST
Definition: mainConstants.java:21
static final int UNSPECIFIED
This enum is used internally to do dynamic typing on subclasses of integer variables.
Definition: mainConstants.java:17
static final int TRACE_VAR
Definition: mainConstants.java:25