Definition at line 11 of file mainConstants.java.
|
| static final int | UNSPECIFIED = mainJNI.UNSPECIFIED_get() |
| | This enum is used internally to do dynamic typing on subclasses of integer variables. More...
|
| |
| static final int | DOMAIN_INT_VAR = mainJNI.DOMAIN_INT_VAR_get() |
| |
| static final int | BOOLEAN_VAR = mainJNI.BOOLEAN_VAR_get() |
| |
| static final int | CONST_VAR = mainJNI.CONST_VAR_get() |
| |
| static final int | VAR_ADD_CST = mainJNI.VAR_ADD_CST_get() |
| |
| static final int | VAR_TIMES_CST = mainJNI.VAR_TIMES_CST_get() |
| |
| static final int | CST_SUB_VAR = mainJNI.CST_SUB_VAR_get() |
| |
| static final int | OPP_VAR = mainJNI.OPP_VAR_get() |
| |
| static final int | TRACE_VAR = mainJNI.TRACE_VAR_get() |
| |
◆ BOOLEAN_VAR
| final int BOOLEAN_VAR = mainJNI.BOOLEAN_VAR_get() |
|
static |
◆ CONST_VAR
| final int CONST_VAR = mainJNI.CONST_VAR_get() |
|
static |
◆ CST_SUB_VAR
| final int CST_SUB_VAR = mainJNI.CST_SUB_VAR_get() |
|
static |
◆ DOMAIN_INT_VAR
| final int DOMAIN_INT_VAR = mainJNI.DOMAIN_INT_VAR_get() |
|
static |
◆ OPP_VAR
| final int OPP_VAR = mainJNI.OPP_VAR_get() |
|
static |
◆ TRACE_VAR
| final int TRACE_VAR = mainJNI.TRACE_VAR_get() |
|
static |
◆ UNSPECIFIED
| final int UNSPECIFIED = mainJNI.UNSPECIFIED_get() |
|
static |
This enum is used internally to do dynamic typing on subclasses of integer variables.
Definition at line 17 of file mainConstants.java.
◆ VAR_ADD_CST
| final int VAR_ADD_CST = mainJNI.VAR_ADD_CST_get() |
|
static |
◆ VAR_TIMES_CST
| final int VAR_TIMES_CST = mainJNI.VAR_TIMES_CST_get() |
|
static |
The documentation for this interface was generated from the following file: