package reductions
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
- trait CutReduction extends Reduction
- class InductionUnfoldingReduction extends Reduction
- class MaximumGradeSelector extends Selector
- class NonPropositionalCutFilter extends RedexFilter
- trait RedexFilter extends AnyRef
- trait Reduction extends AnyRef
- class UppermostRedexFilter extends RedexFilter
Value Members
- object GradeReductionAnd extends CutReduction
- object GradeReductionAxiomBottom extends CutReduction
- object GradeReductionAxiomLeft extends CutReduction
- object GradeReductionAxiomRight extends CutReduction
- object GradeReductionAxiomTop extends CutReduction
- object GradeReductionDefinition extends CutReduction
- object GradeReductionEquality extends CutReduction
- object GradeReductionExists extends CutReduction
- object GradeReductionForall extends CutReduction
- object GradeReductionImp extends CutReduction
- object GradeReductionNeg extends CutReduction
- object GradeReductionOr extends CutReduction
- object GradeReductionWeakeningLeft extends CutReduction
- object GradeReductionWeakeningRight extends CutReduction
- object LeftRankAndLeftReduction extends CutReduction
- object LeftRankAndRightReduction extends CutReduction
- object LeftRankContractionLeftReduction extends CutReduction
- object LeftRankContractionRightReduction extends CutReduction
- object LeftRankCutReduction extends CutReduction
- object LeftRankDefinitionLeftReduction extends CutReduction
- object LeftRankDefinitionRightReduction extends CutReduction
- object LeftRankEqualityLeftReduction extends CutReduction
- object LeftRankEqualityRightReduction extends CutReduction
- object LeftRankExistsLeftReduction extends CutReduction
- object LeftRankExistsRightReduction extends CutReduction
- object LeftRankExistsSkLeftReduction extends CutReduction
- object LeftRankForallLeftReduction extends CutReduction
- object LeftRankForallRightReduction extends CutReduction
- object LeftRankForallSkRightReduction extends CutReduction
- object LeftRankImpLeftReduction extends CutReduction
- object LeftRankImpRightReduction extends CutReduction
- object LeftRankInductionReduction extends CutReduction
- object LeftRankNegLeftReduction extends CutReduction
- object LeftRankNegRightReduction extends CutReduction
- object LeftRankOrLeftReduction extends CutReduction
- object LeftRankOrRightReduction extends CutReduction
- object LeftRankWeakeningLeftReduction extends CutReduction
- object LeftRankWeakeningRightReduction extends CutReduction
- object RightRankAndLeftReduction extends CutReduction
- object RightRankAndRightReduction extends CutReduction
- object RightRankContractionLeftReduction extends CutReduction
- object RightRankContractionRightReduction extends CutReduction
- object RightRankCutReduction extends CutReduction
- object RightRankDefinitionLeftReduction extends CutReduction
- object RightRankDefinitionRightReduction extends CutReduction
- object RightRankEqualityLeftReduction extends CutReduction
- object RightRankEqualityRightReduction extends CutReduction
- object RightRankExistsLeftReduction extends CutReduction
- object RightRankExistsRightReduction extends CutReduction
- object RightRankExistsSkLeftReduction extends CutReduction
- object RightRankForallLeftReduction extends CutReduction
- object RightRankForallRightReduction extends CutReduction
- object RightRankForallSkRightReduction extends CutReduction
- object RightRankImpLeftReduction extends CutReduction
- object RightRankImpRightReduction extends CutReduction
- object RightRankInductionReduction extends CutReduction
- object RightRankNegLeftReduction extends CutReduction
- object RightRankNegRightReduction extends CutReduction
- object RightRankOrLeftReduction extends CutReduction
- object RightRankOrRightReduction extends CutReduction
- object RightRankWeakeningLeftReduction extends CutReduction
- object RightRankWeakeningRightReduction extends CutReduction
- object gradeReduction extends CutReduction
- object leftRankReduction extends CutReduction
- object maximumGrade
- object rightRankReduction extends CutReduction
This is the API documentation for GAPT.
The main package is gapt.