1. at
   1. at.logic
      1. at.logic.skeptik
         1. (object)
            help
         2. (object)
            Main
         1. at.logic.skeptik.algorithm
            1. at.logic.skeptik.algorithm.compressor
               1. (class)AbstractRPIAlgorithm
               2. (class)AbstractRPILUAlgorithm
               3. (trait)CollectEdgesUsingSafeLiterals
               4. (object)
                  DAGification
               5. (trait)Intersection
               6. (trait)LeftHeuristic
               7. (trait)MinConclusionHeuristic
               8. (trait)MinProofHeuristic
               9. (object)
                  NewUnitLowering
               10. (trait)outIntersection
               11. (object)
                   ProofFixing
               12. (class)RecyclePivots
               13. (object)
                   Regularization
               14. (object)
                   UnitLowering
               15. (trait)UnitsCollectingBeforeFixing
               1. at.logic.skeptik.algorithm.compressor.combinedRPILU
                  1. (class)AbstractThreePassLower
                  2. (trait)AddEval
                  3. (trait)AlwaysLowerIrregularUnits
                  4. (trait)AlwaysRegularizeIrregularUnits
                  5. (trait)DiscreteCollector
                  6. (class)IrregularUnits
                  7. (trait)MinEval
                  8. (trait)MinLoweringChoice
                  9. (trait)MinRegularizationChoice
                  10. (class)MinRegularizationEvaluation
                  11. (class)OnePassPseudoUnits
                  12. (class)PseudoUnits
                  13. (class)PseudoUnitsAfter
                  14. (class)PseudoUnitsBefore
                  15. (trait)PseudoUnitsDuringFixing
                  16. (trait)PseudoUnitsNotDuringFixing
                  17. (trait)QuadraticCollector
                  18. (class)RegularizationEvaluation
                  19. (object)(class)RegularizationInformation
                  20. (trait)RegularizeIfPossible
                  21. (class)ThreePassLower
                  1. at.logic.skeptik.algorithm.compressor.combinedRPILU.pseudoUnits
                     1. (object)
                        DeletableNode
                     2. (object)
                        isPseudoUnit
                     3. (class)NodeKind
                     4. (object)
                        OrdinaryNode
                     5. (case class)PseudoUnit
            2. at.logic.skeptik.algorithm.generator
               1. (object)
                  FormulaGenerator
            3. at.logic.skeptik.algorithm.unifier
               1. (object)
                  MartelliMontanari
         2. at.logic.skeptik.experiment
            1. at.logic.skeptik.experiment.compression
               1. (class)AbstractWrappedAlgorithm
               2. (class)CompositeMeasure
               3. (object)
                  DumbMeasure
               4. (object)
                  DumbMeasurer
               5. (trait)Duration
               6. (object)(class)DurationMeasuredFunction1
               7. (object)
                  Experimenter
               8. (class)Measure
               9. (object)(class)Measurer
               10. (object)(class)MeasurerFactory
               11. (object)(class)NoStateMeasure
               12. (object)(class)PercentMeasure
               13. (trait)Repeating
               14. (object)
                   RepeatingOldAlgorithm
               15. (object)
                   RepeatingSequentAlgorithm
               16. (object)(class)Report
               17. (class)WrappedAlgorithm
               18. (object)
                   WrappedAlgorithmFactory
               19. (object)(class)WrappedOldAlgorithm
               20. (object)(class)WrappedSequentAlgorithm
            2. at.logic.skeptik.experiment.proving
               1. (object)
                  ProverExperiment
         3. at.logic.skeptik.expression
            1. (case class)Abs
            2. (case class)App
            3. (case class)Arrow
            4. (trait)Atomic
            5. (case class)AtomicType
            6. (class)E
            7. (object)
               i
            8. (trait)Infix
            9. (object)
               o
            10. (class)RichString
            11. (class)T
            12. (case class)Var
            1. at.logic.skeptik.expression.formula
               1. (object)
                  All
               2. (object)
                  And
               3. (object)
                  Atom
               4. (class)BinaryFormula
               5. (object)
                  Ex
               6. (class)Formula
               7. (object)
                  Imp
               8. (object)
                  Neg
               9. (object)
                  Or
               10. (class)QuantifierFormula
               11. (class)RichFormula
               12. (class)UnaryFormula
               1. at.logic.skeptik.expression.formula.position
                  1. (object)
                     EmptyP
                  2. (class)IntListPosition
            2. at.logic.skeptik.expression.position
               1. (class)ComposedPosition
               2. (object)
                  EmptyPosition
               3. (class)IndexedPosition
               4. (class)InexistentPositionException
               5. (class)OrPosition
               6. (class)Position
               7. (class)PredicatePosition
               8. (class)SinglePosition
               9. (object)
                  TotalPosition
            3. at.logic.skeptik.expression.substitution
               1. (class)AbstractSubstitution
               1. at.logic.skeptik.expression.substitution.immutable
                  1. (object)(class)Substitution
               2. at.logic.skeptik.expression.substitution.mutable
                  1. (object)(class)Substitution
         4. at.logic.skeptik.judgment
            1. (class)ASequent
            2. (class)Judgment
            3. (case class)NamedE
            4. (class)NaturalSequent
            5. (object)(class)Sequent
            1. at.logic.skeptik.judgment.immutable
               1. (object)(class)SetSequent
            2. at.logic.skeptik.judgment.mutable
               1. (object)(class)SetSequent
         5. at.logic.skeptik.parser
            1. (object)
               ProofParser
            2. (class)SimplePropositionalResolutionProofFormatParser
         6. at.logic.skeptik.proof
            1. (trait)GenBinary
            2. (trait)GenNullary
            3. (trait)GenUnary
            4. (class)Proof
            5. (object)(class)ProofNodeCollection
            1. at.logic.skeptik.proof.natural
               1. (object)(class)Assumption
               2. (trait)Binary
               3. (object)(class)ImpElim
               4. (object)(class)ImpElimC
               5. (class)ImpElimCArrow
               6. (object)(class)ImpIntro
               7. (object)(class)ImpIntroC
               8. (object)(class)ImpIntroCK
               9. (class)ImpIntroCRule
               10. (trait)IntuitionisticSoundnessCondition
               11. (object)
                   LeftArrow
               12. (object)
                   nameFactory
               13. (class)NaturalDeductionProof
               14. (trait)Nullary
               15. (object)
                   RightArrow
               16. (trait)Unary
               1. at.logic.skeptik.proof.natural.isomorphismCurryHoward
                  1. (object)
                     CurryHoward
            2. at.logic.skeptik.proof.oldResolution
               1. (object)
                  Clause
               2. (object)
                  defs
               3. (object)(class)Input
               4. (case class)L
               5. (class)Proof
               6. (object)(class)Resolvent
               7. (object)
                  typeAliases
            3. at.logic.skeptik.proof.sequent
               1. (trait)Binary
               2. (trait)BothInAnt
               3. (trait)BothInSuc
               4. (trait)ImplicitContraction
               5. (trait)InAnt
               6. (trait)InSuc
               7. (trait)Left
               8. (trait)LeftInSucRightInAnt
               9. (trait)NoAuxFormula
               10. (trait)NoImplicitContraction
               11. (trait)NoMainFormula
               12. (trait)Nullary
               13. (trait)OnePerAntecedent
               14. (trait)OnePerCedent
               15. (trait)OnePerSuccedent
               16. (trait)Right
               17. (class)SequentProof
               18. (trait)SingleAuxFormula
               19. (trait)SingleMainFormula
               20. (trait)TwoAuxFormulas
               21. (trait)Unary
               1. at.logic.skeptik.proof.sequent.lk
                  1. (class)AbstractCut
                  2. (object)(class)AllL
                  3. (object)(class)AllR
                  4. (object)(class)AndL
                  5. (object)(class)AndR
                  6. (class)AuxiliaryFormulaNotFoundException
                  7. (object)(class)Axiom
                  8. (object)(class)AxiomTaut
                  9. (object)(class)Cut
                  10. (object)(class)CutIC
                  11. (trait)EigenvariableCondition
                  12. (class)ExL
                  13. (class)ExR
                  14. (object)(class)WeakeningL
               2. at.logic.skeptik.proof.sequent.resolution
                  1. (object)(class)R
         7. at.logic.skeptik.prover
            1. (class)InferenceRule
            2. (class)Prover
            3. (class)SimpleProver
         8. at.logic.skeptik.util
            1. (object)
               argMin
            2. (object)
               debug
            3. (object)
               time
            4. (object)
               unicode