public final class SMTStrings
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
sASSERT |
static java.lang.String |
sBRACKET_CLOSE |
static java.lang.String |
sBRACKET_OPEN |
static java.lang.String |
sBV_BIN_PREFIX |
static java.lang.String |
sBV_HEX_PREFIX |
static java.lang.String |
sCHECK_SAT |
static java.lang.String |
sDECLARE_CONST |
static java.lang.String |
sDEFAULT_ARRAY |
static java.lang.String |
sDEFINE_FUN |
static java.lang.String |
sEMPTY |
static java.lang.String |
sEXIT |
static java.lang.String |
sFALSE |
static java.lang.String |
sGET_MODEL |
static java.lang.String |
sGET_VALUE |
static java.lang.String |
sHYPHEN |
static java.lang.String |
sNEGATION |
static java.lang.String |
sONE |
static java.lang.String |
sPARAM_DEF |
static java.lang.String |
sSPACE |
static java.lang.String |
sTRUE |
static java.lang.String |
sTYPE_ARRAY |
static java.lang.String |
sTYPE_BITVECTOR |
static java.lang.String |
sTYPE_BOOL |
static java.lang.String |
sTYPE_INT |
static java.lang.String |
sTYPE_REAL |
static java.lang.String |
sUNDERLINE |
static java.lang.String |
sZERO |
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 sSPACE
public static final java.lang.String sBRACKET_OPEN
public static final java.lang.String sBRACKET_CLOSE
public static final java.lang.String sHYPHEN
public static final java.lang.String sUNDERLINE
public static final java.lang.String sZERO
public static final java.lang.String sONE
public static final java.lang.String sEMPTY
public static final java.lang.String sTRUE
public static final java.lang.String sFALSE
public static final java.lang.String sDEFAULT_ARRAY
public static final java.lang.String sBV_BIN_PREFIX
public static final java.lang.String sBV_HEX_PREFIX
public static final java.lang.String sTYPE_BOOL
public static final java.lang.String sTYPE_INT
public static final java.lang.String sTYPE_REAL
public static final java.lang.String sTYPE_BITVECTOR
public static final java.lang.String sTYPE_ARRAY
public static final java.lang.String sASSERT
public static final java.lang.String sDECLARE_CONST
public static final java.lang.String sDEFINE_FUN
public static final java.lang.String sCHECK_SAT
public static final java.lang.String sGET_VALUE
public static final java.lang.String sGET_MODEL
public static final java.lang.String sEXIT
public static final java.lang.String sNEGATION
public static final java.lang.String sPARAM_DEF