Class SmtRegExp
- java.lang.Object
-
- ru.ispras.fortress.solver.engine.smt.SmtRegExp
-
public final class SmtRegExp extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field 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
-
-
-
Field Detail
-
SAT
public static final java.lang.String SAT
- See Also:
- Constant Field Values
-
UNSAT
public static final java.lang.String UNSAT
- See Also:
- Constant Field Values
-
UNKNOWN
public static final java.lang.String UNKNOWN
- See Also:
- Constant Field Values
-
TRUE
public static final java.lang.String TRUE
- See Also:
- Constant Field Values
-
FALSE
public static final java.lang.String FALSE
- See Also:
- Constant Field Values
-
VALUE_BIN
public static final java.lang.String VALUE_BIN
- See Also:
- Constant Field Values
-
VALUE_HEX
public static final java.lang.String VALUE_HEX
- See Also:
- Constant Field Values
-
VALUE_DEC
public static final java.lang.String VALUE_DEC
- See Also:
- Constant Field Values
-
VALUE_TRIM_PTRN
public static final java.lang.String VALUE_TRIM_PTRN
- See Also:
- Constant Field Values
-
LINE_START
public static final java.lang.String LINE_START
- See Also:
- Constant Field Values
-
-