|
dynLattice
|
#include "SolverNames.h"
Static Public Attributes | |
| static const char * | ACCEPT = "Accept" |
| static const char * | DISCARD = "Discard" |
| static const char * | N_CONTINUES = "NContinues" |
| static const char * | STEP_SIZE = "StepSize" |
| static const char * | STEP_SIZE_0 = "StepSize0" |
| static const char * | TERMINATE = "Terminate" |
| static const char * | CHECK_COMMIT = "CheckCommit" |
| static const char * | SET_STEP_SIZE = "SetStepSize" |
| static const char * | CONTINUE = "Continue" |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |