Constant Field Values

Contents

ru.ispras.*

  • ru.ispras.fortress.data.DataType 
    Modifier and Type Constant Field Value
    public static final int LOGIC_TYPE_SIZE 0
  • ru.ispras.fortress.data.types.bitvector.BitVector 
    Modifier and Type Constant Field Value
    public static final int BITS_IN_BYTE 8
  • ru.ispras.fortress.solver.engine.smt.SmtRegExp 
    Modifier and Type Constant Field Value
    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}"