Package

at.logic.gapt.utils

logging

Permalink

package logging

Content Hierarchy Learn more about scaladoc diagrams
Visibility
  1. Public
  2. All

Type Members

  1. class CollectMetrics extends MetricsCollector

    Permalink
  2. class IgnoreMetrics extends MetricsCollector

    Permalink
  3. trait Logger extends AnyRef

    Permalink
  4. trait MetricsCollector extends AnyRef

    Permalink
  5. class Stopwatch extends Logger

    Permalink

    This class defined an object for measuring time and handling errors.

    This class defined an object for measuring time and handling errors. Control it with provided functions start, stop, lap, save and read it out by using toXXX methods.

Value Members

  1. object StopwatchStatus extends Enumeration

    Permalink

    Stopwatch Status

  2. object metrics extends MetricsCollector

    Permalink

Ungrouped