WrappedAlgorithmFactory

Value Members

1. def != (arg0: AnyRef): Boolean

   Attributes

   final

   Definition Classes

   AnyRef

2. def != (arg0: Any): Boolean

   Attributes

   final

   Definition Classes

   Any

3. def ## (): Int

   Attributes

   final

   Definition Classes

   AnyRef → Any

4. def == (arg0: AnyRef): Boolean

   Attributes

   final

   Definition Classes

   AnyRef

5. def == (arg0: Any): Boolean

   Attributes

   final

   Definition Classes

   Any

6. def RepeatOldAlgorithm (name: String, fct: (Proof) ⇒ Proof): (Map[String, String]) ⇒ WrappedOldAlgorithm

7. def RepeatSequentAlgorithm (name: String, fct: (SequentProof) ⇒ SequentProof): (Map[String, String]) ⇒ WrappedSequentAlgorithm

8. def SimpleOldAlgorithm (name: String, fct: (Proof) ⇒ Proof): (Map[String, String]) ⇒ WrappedOldAlgorithm

9. def SimpleSequentAlgorithm (name: String, fct: (SequentProof) ⇒ SequentProof): (Map[String, String]) ⇒ WrappedSequentAlgorithm

10. val algosMap : Map[String, (Map[String, String]) ⇒ at.logic.skeptik.experiment.compression.AbstractWrappedAlgorithm[_ >: at.logic.skeptik.proof.sequent.SequentProof with at.logic.skeptik.proof.oldResolution.Proof <: ScalaObject]]

11. val allAlgos : List[(Map[String, String]) ⇒ at.logic.skeptik.experiment.compression.AbstractWrappedAlgorithm[_ >: at.logic.skeptik.proof.oldResolution.Proof with at.logic.skeptik.proof.sequent.SequentProof <: ScalaObject]]

12. def apply (env: Map[String, String]): List[WrappedAlgorithm]

13. def asInstanceOf [T0] : T0

    Attributes

    final

    Definition Classes

    Any

14. def clone (): AnyRef

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

15. val concRPI : (Map[String, String]) ⇒ WrappedSequentAlgorithm

16. def eq (arg0: AnyRef): Boolean

    Attributes

    final

    Definition Classes

    AnyRef

17. def equals (arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

18. def finalize (): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

19. def getClass (): java.lang.Class[_]

    Attributes

    final

    Definition Classes

    AnyRef → Any

20. def hashCode (): Int

    Definition Classes

    AnyRef → Any

21. val irunLow : (Map[String, String]) ⇒ WrappedSequentAlgorithm

22. val irunReg : (Map[String, String]) ⇒ WrappedSequentAlgorithm

23. def isInstanceOf [T0] : Boolean

    Attributes

    final

    Definition Classes

    Any

24. val lowPsU1 : (Map[String, String]) ⇒ WrappedSequentAlgorithm

25. val lowPsUn : (Map[String, String]) ⇒ WrappedSequentAlgorithm

26. val nLURPILU : (Map[String, String]) ⇒ WrappedSequentAlgorithm

27. def ne (arg0: AnyRef): Boolean

    Attributes

    final

    Definition Classes

    AnyRef

28. val newLURPI : (Map[String, String]) ⇒ WrappedSequentAlgorithm

29. val newRP : (Map[String, String]) ⇒ WrappedSequentAlgorithm

30. val newRPI : (Map[String, String]) ⇒ WrappedSequentAlgorithm

31. val newRPILU : (Map[String, String]) ⇒ WrappedSequentAlgorithm

32. val newRPIr : (Map[String, String]) ⇒ WrappedSequentAlgorithm

33. val newUnitLowering : (Map[String, String]) ⇒ WrappedSequentAlgorithm

34. def notify (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

35. def notifyAll (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

36. val oldLURPI : (Map[String, String]) ⇒ WrappedOldAlgorithm

37. val oldRPILU : (Map[String, String]) ⇒ WrappedOldAlgorithm

38. val oldRPIr : (Map[String, String]) ⇒ WrappedOldAlgorithm

39. val oldRPWithInters : (Map[String, String]) ⇒ WrappedOldAlgorithm

40. val oldRecyclePivot : (Map[String, String]) ⇒ WrappedOldAlgorithm

41. val oldUnitLowering : (Map[String, String]) ⇒ WrappedOldAlgorithm

42. val onePsU1 : (Map[String, String]) ⇒ WrappedSequentAlgorithm

43. val onePsUn : (Map[String, String]) ⇒ WrappedSequentAlgorithm

44. val psunLo1 : (Map[String, String]) ⇒ WrappedSequentAlgorithm

45. val psunLow : (Map[String, String]) ⇒ WrappedSequentAlgorithm

46. val psunOne : (Map[String, String]) ⇒ WrappedSequentAlgorithm

47. val psunReg : (Map[String, String]) ⇒ WrappedSequentAlgorithm

48. val reMinLow : (Map[String, String]) ⇒ WrappedSequentAlgorithm

49. val reMinReg : (Map[String, String]) ⇒ WrappedSequentAlgorithm

50. val reQuadra : (Map[String, String]) ⇒ WrappedSequentAlgorithm

51. val reRegula : (Map[String, String]) ⇒ WrappedSequentAlgorithm

52. val sizeRPI : (Map[String, String]) ⇒ WrappedSequentAlgorithm

53. val sizeRPIr : (Map[String, String]) ⇒ WrappedSequentAlgorithm

54. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes

    final

    Definition Classes

    AnyRef

55. val threeLow : (Map[String, String]) ⇒ WrappedSequentAlgorithm

56. def toString (): String

    Definition Classes

    AnyRef → Any

57. def wait (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()

58. def wait (arg0: Long, arg1: Int): Unit

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()

59. def wait (arg0: Long): Unit

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()