Interface LatticeElement<T>

    • Method Detail

      • getValue

        T getValue()
      • getBitMask

        java.util.BitSet getBitMask()