Class DeltaDelete


  • public class DeltaDelete
    extends Delta
    Represents a delete operation in the YType.
    • Constructor Detail

      • DeltaDelete

        public DeltaDelete​(int delete)
    • Method Detail

      • increaseDelete

        public void increaseDelete​(int length)
      • getDelete

        public int getDelete()