Class LiteralMapper.ShiftedFormula

  • Enclosing class:
    LiteralMapper

    public static final class LiteralMapper.ShiftedFormula
    extends Object
    • Field Detail

      • formula

        public final Formula formula
      • mapping

        public final int[] mapping