Class LoggingInfoStream

  • All Implemented Interfaces:
    java.io.Closeable, java.lang.AutoCloseable, java.lang.Cloneable

    public class LoggingInfoStream
    extends InfoStream