at.logic.skeptik.algorithm

compressor

package compressor

Visibility
  1. Public
  2. All

Type Members

  1. class AbstractRPIAlgorithm extends AbstractRPILUAlgorithm

    Attributes
    abstract

  2. class AbstractRPILUAlgorithm extends (SequentProof) ⇒ SequentProof

    Attributes
    abstract

  3. trait CollectEdgesUsingSafeLiterals extends AbstractRPIAlgorithm

  4. trait Intersection extends AbstractRPIAlgorithm

  5. trait LeftHeuristic extends AbstractRPILUAlgorithm

  6. trait MinConclusionHeuristic extends AbstractRPILUAlgorithm

  7. trait MinProofHeuristic extends AbstractRPILUAlgorithm

  8. class RecyclePivots extends AbstractRPIAlgorithm with CollectEdgesUsingSafeLiterals

    Attributes
    abstract

  9. trait UnitsCollectingBeforeFixing extends AbstractRPILUAlgorithm

  10. trait outIntersection extends AbstractRPIAlgorithm

Value Members

  1. object DAGification extends AnyRef

  2. object NewUnitLowering extends (SequentProof) ⇒ SequentProof

  3. object ProofFixing extends AnyRef

  4. object Regularization extends AnyRef

  5. object UnitLowering extends AnyRef

  6. package combinedRPILU