public static final java.lang.String |
FALSE |
"false" |
public static final java.lang.String |
LINE_START |
"^" |
public static final java.lang.String |
SAT |
"sat" |
public static final java.lang.String |
TRUE |
"true" |
public static final java.lang.String |
UNKNOWN |
"unknown" |
public static final java.lang.String |
UNSAT |
"unsat" |
public static final java.lang.String |
VALUE_BIN |
"[#][b][0|1]{1,}" |
public static final java.lang.String |
VALUE_DEC |
"\\(?(-\\s)?\\d+(\\.\\d+)?\\)?" |
public static final java.lang.String |
VALUE_HEX |
"[#][x][\\d|a-f|A-F]{1,}" |
public static final java.lang.String |
VALUE_TRIM_PTRN |
"^([#][b|x]|[b][v]){0,1}" |