IdempotentRegularizationEvaluationRegularizeIfPossible

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

    RegularizationEvaluation → 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 collectInformationMap(proof: Proof[SequentProofNode]): HashMap[SequentProofNode, RegularizationInformation]

    Collector : compute information about each node (using Eval)

    Collector : compute information about each node (using Eval)

    Attributes

    protected

    Definition Classes

    QuadraticCollector → RegularizationEvaluation

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 evaluateDerivation(node: SequentProofNode, proof: Proof[SequentProofNode], aux: E, leftInfo: RegularizationInformation, rightInfo: RegularizationInformation): RegularizationInformation

    Eval : compute information about CutIC nodes

    Eval : compute information about CutIC nodes

    Attributes

    protected

    Definition Classes

    AddEval → RegularizationEvaluation

19. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

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. def lowerInsteadOfRegularize(node: SequentProofNode, currentChildrenNumber: Int, information: RegularizationInformation, safeLiterals: SetSequent): Boolean

    Choice : choose between lowering and regularization

    Choice : choose between lowering and regularization

    Attributes

    protected

    Definition Classes

    RegularizeIfPossible → RegularizationEvaluation

26. def mapFixedProofNodes(proofsToMap: Set[SequentProofNode], edgesToDelete: EdgesToDelete, nodeCollection: Proof[SequentProofNode]): HashMap[SequentProofNode, SequentProofNode]

    Attributes

    protected

    Definition Classes

    UnitsCollectingBeforeFixing

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

    Definition Classes

    AnyRef

28. final def notify(): Unit

    Definition Classes

    AnyRef

29. final def notifyAll(): Unit

    Definition Classes

    AnyRef

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

    Attributes

    protected

    Definition Classes

    AbstractRPIAlgorithm

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

    Attributes

    protected

    Definition Classes

    AbstractRPILUAlgorithm

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

    Definition Classes

    AnyRef

33. def toString(): String

    Definition Classes

    AnyRef → Any

34. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Definition Classes

    AnyRef

    Annotations

    @throws()