compression

Type Members

1. class AbstractWrappedAlgorithm [P] extends WrappedAlgorithm

   Attributes

   abstract

2. class CompositeMeasure [P] extends Measure[P]

3. trait Duration extends AnyRef

4. class DurationMeasuredFunction1 [-T, +R] extends (T) ⇒ R with Duration

5. class Measure [-P] extends (P, Report) ⇒ Report

   Attributes

   abstract

6. class Measurer [-P] extends (P) ⇒ Report

7. class MeasurerFactory extends AnyRef

8. class NoStateMeasure [P] extends Measure[P]

9. class PercentMeasure [P] extends Measure[P]

10. trait Repeating [P] extends AbstractWrappedAlgorithm[P]

11. class Report extends Map[String, Double] with MapLike[String, Double, Report]

12. class WrappedAlgorithm extends AnyRef

    Attributes

    abstract

13. class WrappedOldAlgorithm extends AbstractWrappedAlgorithm[Proof]

14. class WrappedSequentAlgorithm extends AbstractWrappedAlgorithm[SequentProof]