public static final java.lang.String |
sASSERT |
"(assert %s)%n" |
public static final java.lang.String |
sBRACKET_CLOSE |
")" |
public static final java.lang.String |
sBRACKET_OPEN |
"(" |
public static final java.lang.String |
sBV_BIN_PREFIX |
"#b" |
public static final java.lang.String |
sBV_HEX_PREFIX |
"#x" |
public static final java.lang.String |
sCHECK_SAT |
"(check-sat)" |
public static final java.lang.String |
sDECLARE_CONST |
"(declare-const %s %s)%n" |
public static final java.lang.String |
sDEFAULT_ARRAY |
"DefaultArrayLiteral!%d" |
public static final java.lang.String |
sDEFINE_FUN |
"(define-fun %s)%n" |
public static final java.lang.String |
sEMPTY |
"" |
public static final java.lang.String |
sEXIT |
"(exit)" |
public static final java.lang.String |
sFALSE |
"false" |
public static final java.lang.String |
sGET_MODEL |
"(get-model)" |
public static final java.lang.String |
sGET_VALUE |
"(get-value (%s))%n" |
public static final java.lang.String |
sHYPHEN |
"-" |
public static final java.lang.String |
sNEGATION |
"(- %s)" |
public static final java.lang.String |
sONE |
"1" |
public static final java.lang.String |
sPARAM_DEF |
"(%s %s)" |
public static final java.lang.String |
sSPACE |
" " |
public static final java.lang.String |
sTRUE |
"true" |
public static final java.lang.String |
sTYPE_ARRAY |
"(Array %s %s)" |
public static final java.lang.String |
sTYPE_BITVECTOR |
"(_ BitVec %d)" |
public static final java.lang.String |
sTYPE_BOOL |
"Bool" |
public static final java.lang.String |
sTYPE_INT |
"Int" |
public static final java.lang.String |
sTYPE_REAL |
"Real" |
public static final java.lang.String |
sUNDERLINE |
"_" |
public static final java.lang.String |
sZERO |
"0" |