LowerUnivalents

Value Members

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

   Definition Classes

   AnyRef

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

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

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

   Definition Classes

   AnyRef

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

   Definition Classes

   Any

6. object BothDS extends DeletedSide

   Attributes

   protected

   Definition Classes

   AbstractRPILUAlgorithm

7. object LeftDS extends DeletedSide

   Attributes

   protected

   Definition Classes

   AbstractRPILUAlgorithm

8. object NoDS extends DeletedSide

   Attributes

   protected

   Definition Classes

   AbstractRPILUAlgorithm

9. object RightDS extends DeletedSide

   Attributes

   protected

   Definition Classes

   AbstractRPILUAlgorithm

10. def apply(proof: Proof[SequentProofNode]): Proof[SequentProofNode]

    Definition Classes

    LowerUnivalents → CompressorAlgorithm

11. def apply(proof: Proof[SequentProofNode], guard: Guard[SequentProofNode]): Proof[SequentProofNode]

    Definition Classes

    IdempotentAlgorithm → CompressorAlgorithm

12. final def asInstanceOf[T0]: T0

    Definition Classes

    Any

13. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

14. final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

15. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

16. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

17. def fixProofAndLowerUnivalents(proof: Proof[SequentProofNode], edgesToDelete: EdgesToDelete): SequentProofNode

    Attributes

    protected

    Definition Classes

    CollectUnivalentsDuringFixing

18. def fixProofNodes(edgesToDelete: EdgesToDelete)(p: SequentProofNode, fixedPremises: Seq[SequentProofNode]): SequentProofNode

    Attributes

    protected

    Definition Classes

    AbstractRPILUAlgorithm

19. final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

20. def hashCode(): Int

    Definition Classes

    AnyRef → Any

21. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

22. def isUnit(proof: SequentProofNode, nodeCollection: Proof[SequentProofNode]): Boolean

    Attributes

    protected

    Definition Classes

    AbstractRPILUAlgorithm

23. final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

24. final def notify(): Unit

    Definition Classes

    AnyRef

25. final def notifyAll(): Unit

    Definition Classes

    AnyRef

26. def sideOf(parent: SequentProofNode, child: SequentProofNode): DeletedSide

    Attributes

    protected

    Definition Classes

    AbstractRPILUAlgorithm

27. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

28. def toString(): String

    Definition Classes

    AnyRef → Any

29. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Definition Classes

    AnyRef

    Annotations

    @throws()

31. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()