RecyclePivots

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

    IdempotentAlgorithm → CompressorAlgorithm

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

    Definition Classes

    RecyclePivots → 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(node: SequentProofNode, childrensSafeLiterals: Seq[(SequentProofNode, SetSequent)], edgesToDelete: EdgesToDelete): SetSequent

    Attributes

    protected

    Definition Classes

    outIntersection → 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 fixProofNodes(edgesToDelete: EdgesToDelete)(p: SequentProofNode, fixedPremises: Seq[SequentProofNode]): SequentProofNode

    Attributes

    protected

    Definition Classes

    AbstractRPILUAlgorithm

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

    Definition Classes

    AnyRef → Any

21. def hashCode(): Int

    Definition Classes

    AnyRef → Any

22. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

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

    Attributes

    protected

    Definition Classes

    AbstractRPILUAlgorithm

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

    Definition Classes

    AnyRef

25. final def notify(): Unit

    Definition Classes

    AnyRef

26. final def notifyAll(): Unit

    Definition Classes

    AnyRef

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

    Attributes

    protected

    Definition Classes

    AbstractRPIAlgorithm

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

    Attributes

    protected

    Definition Classes

    AbstractRPILUAlgorithm

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

    Definition Classes

    AnyRef

30. def toString(): String

    Definition Classes

    AnyRef → Any

31. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Definition Classes

    AnyRef

    Annotations

    @throws()