public final class SmtStrings
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ASSERT |
static java.lang.String |
BRACKET_CLOSE |
static java.lang.String |
BRACKET_OPEN |
static java.lang.String |
BV_BIN_PREFIX |
static java.lang.String |
BV_HEX_PREFIX |
static java.lang.String |
CHECK_SAT |
static java.lang.String |
DECLARE_CONST |
static java.lang.String |
DEFAULT_ARRAY |
static java.lang.String |
DEFINE_FUN |
static java.lang.String |
EMPTY |
static java.lang.String |
EXIT |
static java.lang.String |
FALSE |
static java.lang.String |
GET_MODEL |
static java.lang.String |
GET_VALUE |
static java.lang.String |
HYPHEN |
static java.lang.String |
NEGATION |
static java.lang.String |
ONE |
static java.lang.String |
PARAM_DEF |
static java.lang.String |
SPACE |
static java.lang.String |
TRUE |
static java.lang.String |
TYPE_ARRAY |
static java.lang.String |
TYPE_BITVECTOR |
static java.lang.String |
TYPE_BOOL |
static java.lang.String |
TYPE_INT |
static java.lang.String |
TYPE_REAL |
static java.lang.String |
UNDERLINE |
static java.lang.String |
ZERO |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
textForData(Data data) |
static java.lang.String |
textForType(DataType type) |
public static final java.lang.String SPACE
public static final java.lang.String BRACKET_OPEN
public static final java.lang.String BRACKET_CLOSE
public static final java.lang.String HYPHEN
public static final java.lang.String UNDERLINE
public static final java.lang.String ZERO
public static final java.lang.String ONE
public static final java.lang.String EMPTY
public static final java.lang.String TRUE
public static final java.lang.String FALSE
public static final java.lang.String DEFAULT_ARRAY
public static final java.lang.String BV_BIN_PREFIX
public static final java.lang.String BV_HEX_PREFIX
public static final java.lang.String TYPE_BOOL
public static final java.lang.String TYPE_INT
public static final java.lang.String TYPE_REAL
public static final java.lang.String TYPE_BITVECTOR
public static final java.lang.String TYPE_ARRAY
public static final java.lang.String ASSERT
public static final java.lang.String DECLARE_CONST
public static final java.lang.String DEFINE_FUN
public static final java.lang.String CHECK_SAT
public static final java.lang.String GET_VALUE
public static final java.lang.String GET_MODEL
public static final java.lang.String EXIT
public static final java.lang.String NEGATION
public static final java.lang.String PARAM_DEF