Command

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. val About : String

7. val Add : String

8. val AddFile : String

9. val Apel : String

10. val Clear : String

11. val Collapse : String

12. val Completion : String

13. val Compose : String

14. val Deduce : String

15. val DeduceR : String

16. val Delete : String

17. val Exit : String

18. val ExportCPs : String

19. val ExportCmdLog : String

20. val ExportCompProof : String

21. val ExportEqProofTree : String

22. val ExportEquations : String

23. val ExportRules : String

24. val Help : String

25. val Ignore : String

26. val IsComplete : String

27. val Load : String

28. val LoadCmdLog : String

29. val Next : String

30. val None : String

31. val Orient : String

32. val OrientEq : String

33. val Previous : String

34. val Redo : String

35. val Reset : String

36. val SetEfficient : String

37. val SetExpert : String

38. val SetLPO : String

39. val SetLPOPrecedence : String

40. val SetNormal : String

41. val SetNumRuns : String

42. val SetRun : String

43. val SetSimple : String

44. val SetTermTool : String

45. val Show : String

46. val ShowE0 : String

47. val ShowEq : String

48. val ShowH : String

49. val ShowLPOPrecedence : String

50. val ShowPT : String

51. val ShowR : String

52. val ShowRedos : String

53. val ShowRuns : String

54. val ShowTermMethod : String

55. val ShowTerminators : String

56. val ShowUndos : String

57. val Simplify : String

58. val SimplifyEq : String

59. val SimplifyR : String

60. val Start : String

61. val Stop : String

62. val Undo : String

63. def asInstanceOf [T0] : T0

    Attributes

    final

    Definition Classes

    Any

64. def clone (): AnyRef

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

65. def eq (arg0: AnyRef): Boolean

    Attributes

    final

    Definition Classes

    AnyRef

66. def equals (arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

67. def finalize (): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Attributes

    final

    Definition Classes

    AnyRef → Any

69. def hashCode (): Int

    Definition Classes

    AnyRef → Any

70. def isInstanceOf [T0] : Boolean

    Attributes

    final

    Definition Classes

    Any

71. def ne (arg0: AnyRef): Boolean

    Attributes

    final

    Definition Classes

    AnyRef

72. def notify (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

73. def notifyAll (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

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

    Attributes

    final

    Definition Classes

    AnyRef

75. def toString (): String

    Definition Classes

    AnyRef → Any

76. def wait (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()

78. def wait (arg0: Long): Unit

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()