at.logic.skeptik.algorithm

compressor

package compressor

Linear Supertypes
AnyRef, Any
Content Hierarchy Learn more about scaladoc diagrams
NewUnitLoweringMultiSplitTerminatingSplitRandomTerminatingSplitDeterministicTerminatingSplitSplitSplitCottonSplitDeterministicChoiceRandomChoiceAbstractSplitRRWithoutA2RRWithA2OnChildReduceAndReconstructReduceAndReconstructAbstractReduceAndReconstructIdempotentRecyclePivotsWithIntersectionRecyclePivotsWithIntersectionRecyclePivotsoutIntersectionRecyclePivotsIntersectionUnitsCollectingBeforeFixingCollectEdgesUsingSafeLiteralsAbstractRPIAlgorithmAbstractRPILUAlgorithmDAGificationRandomCompressionRepeatableAlgorithm[P]RepeatableWhileCompressingAlgorithm[P]RepeatableAlgorithm[P]IdempotentAlgorithm[P]CompressorAlgorithm[P]
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. compressor
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. abstract class AbstractRPIAlgorithm extends AbstractRPILUAlgorithm

  2. abstract class AbstractRPILUAlgorithm extends CompressorAlgorithm[SequentProofNode]

  3. abstract class AbstractReduceAndReconstruct extends CompressorAlgorithm[SequentProofNode] with RepeatableAlgorithm[SequentProofNode]

  4. abstract class AbstractSplit extends CompressorAlgorithm[SequentProofNode]

  5. trait CollectEdgesUsingSafeLiterals extends AbstractRPIAlgorithm

  6. trait CompressorAlgorithm[P <: ProofNode[_, P]] extends AnyRef

  7. abstract class CottonSplit extends AbstractSplit

    Cotton Split compression algorithm

  8. trait DeterministicChoice extends AbstractSplit

  9. trait IdempotentAlgorithm[P <: ProofNode[_, P]] extends CompressorAlgorithm[P]

  10. trait Intersection extends AbstractRPIAlgorithm

  11. abstract class MultiSplit extends AbstractSplit with RandomCompressionRepeatableAlgorithm[SequentProofNode]

    Extended Split compression algorithm

  12. class RRWithA2OnChild extends AbstractReduceAndReconstruct

  13. class RRWithoutA2 extends AbstractReduceAndReconstruct

  14. trait RandomChoice extends AbstractSplit

  15. trait RandomCompressionRepeatableAlgorithm[P <: ProofNode[_, P]] extends RepeatableAlgorithm[P]

  16. abstract class RecyclePivots extends AbstractRPIAlgorithm with CollectEdgesUsingSafeLiterals

  17. class ReduceAndReconstruct extends AbstractReduceAndReconstruct with RepeatableAlgorithm[SequentProofNode]

  18. trait RepeatableAlgorithm[P <: ProofNode[_, P]] extends CompressorAlgorithm[P]

  19. trait RepeatableWhileCompressingAlgorithm[P <: ProofNode[_, P]] extends RepeatableAlgorithm[P]

  20. abstract class Split extends CottonSplit with RandomCompressionRepeatableAlgorithm[SequentProofNode]

  21. abstract class TerminatingSplit extends CottonSplit with RepeatableWhileCompressingAlgorithm[SequentProofNode]

  22. trait UnitsCollectingBeforeFixing extends AbstractRPILUAlgorithm

  23. trait outIntersection extends AbstractRPIAlgorithm

Inherited from AnyRef

Inherited from Any

Ungrouped