public static final java.lang.String |
ASSERT |
"(assert %s)%n" |
public static final java.lang.String |
BRACKET_CLOSE |
")" |
public static final java.lang.String |
BRACKET_OPEN |
"(" |
public static final java.lang.String |
BV_BIN_PREFIX |
"#b" |
public static final java.lang.String |
BV_HEX_PREFIX |
"#x" |
public static final java.lang.String |
CHECK_SAT |
"(check-sat)" |
public static final java.lang.String |
DECLARE_CONST |
"(declare-const %s %s)%n" |
public static final java.lang.String |
DEFAULT_ARRAY |
"DefaultArrayLiteral!%d" |
public static final java.lang.String |
DEFINE_FUN |
"(define-fun %s)%n" |
public static final java.lang.String |
EMPTY |
"" |
public static final java.lang.String |
EXIT |
"(exit)" |
public static final java.lang.String |
FALSE |
"false" |
public static final java.lang.String |
GET_MODEL |
"(get-model)" |
public static final java.lang.String |
GET_VALUE |
"(get-value (%s))%n" |
public static final java.lang.String |
HYPHEN |
"-" |
public static final java.lang.String |
NEGATION |
"(- %s)" |
public static final java.lang.String |
ONE |
"1" |
public static final java.lang.String |
PARAM_DEF |
"(%s %s)" |
public static final java.lang.String |
SPACE |
" " |
public static final java.lang.String |
TRUE |
"true" |
public static final java.lang.String |
TYPE_ARRAY |
"(Array %s %s)" |
public static final java.lang.String |
TYPE_BITVECTOR |
"(_ BitVec %d)" |
public static final java.lang.String |
TYPE_BOOL |
"Bool" |
public static final java.lang.String |
TYPE_INT |
"Int" |
public static final java.lang.String |
TYPE_REAL |
"Real" |
public static final java.lang.String |
UNDERLINE |
"_" |
public static final java.lang.String |
ZERO |
"0" |