LowerUnivalentsAfterRecyclePivots

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], guard: Guard[SequentProofNode]): Proof[SequentProofNode]

    Definition Classes

    RepeatableWhileCompressingAlgorithm → RepeatableAlgorithm → CompressorAlgorithm

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

    Definition Classes

    LowerUnivalentsAfterRecyclePivots → CompressorAlgorithm

12. final def asInstanceOf[T0]: T0

    Definition Classes

    Any

13. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

14. def collectEdgesToDelete(nodeCollection: Proof[SequentProofNode]): EdgesToDelete

    Attributes

    protected

    Definition Classes

    CollectEdgesUsingSafeLiterals

15. def computeSafeLiterals(proof: SequentProofNode, childrensSafeLiterals: Seq[(SequentProofNode, SetSequent)], edgesToDelete: EdgesToDelete): SetSequent

    Attributes

    protected

    Definition Classes

    Intersection → AbstractRPIAlgorithm

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

    Definition Classes

    AnyRef

17. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

18. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Attributes

    protected

    Definition Classes

    CollectUnivalentsDuringFixing

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

    Attributes

    protected

    Definition Classes

    AbstractRPILUAlgorithm

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

    Definition Classes

    AnyRef → Any

22. def hashCode(): Int

    Definition Classes

    AnyRef → Any

23. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

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

    Attributes

    protected

    Definition Classes

    AbstractRPILUAlgorithm

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

    Definition Classes

    AnyRef

26. final def notify(): Unit

    Definition Classes

    AnyRef

27. final def notifyAll(): Unit

    Definition Classes

    AnyRef

28. def safeLiteralsFromChild(childWithSafeLiterals: (SequentProofNode, SetSequent), parent: SequentProofNode, edgesToDelete: EdgesToDelete): SetSequent

    Attributes

    protected

    Definition Classes

    AbstractRPIAlgorithm

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

    Attributes

    protected

    Definition Classes

    AbstractRPILUAlgorithm

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

    Definition Classes

    AnyRef

31. def toString(): String

    Definition Classes

    AnyRef → Any

32. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Definition Classes

    AnyRef

    Annotations

    @throws()