public final class SmtRegExp
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
FALSE |
static java.lang.String |
LINE_START |
static java.lang.String |
SAT |
static java.lang.String |
TRUE |
static java.lang.String |
UNKNOWN |
static java.lang.String |
UNSAT |
static java.lang.String |
VALUE_BIN |
static java.lang.String |
VALUE_DEC |
static java.lang.String |
VALUE_HEX |
static java.lang.String |
VALUE_TRIM_PTRN |
public static final java.lang.String SAT
public static final java.lang.String UNSAT
public static final java.lang.String UNKNOWN
public static final java.lang.String TRUE
public static final java.lang.String FALSE
public static final java.lang.String VALUE_BIN
public static final java.lang.String VALUE_HEX
public static final java.lang.String VALUE_DEC
public static final java.lang.String VALUE_TRIM_PTRN
public static final java.lang.String LINE_START