Package

at.logic.gapt.provers

inductionProver

Permalink

package inductionProver

Content Hierarchy Learn more about scaladoc diagrams
Visibility
  1. Public
  2. All

Type Members

  1. class HeuristicSolutionFinder extends SolutionFinder

    Permalink
  2. class SimpleInductionProof extends AnyRef

    Permalink

    Models a simple induction proof.

  3. class SipProver extends Prover with Logger

    Permalink
  4. trait SolutionFinder extends AnyRef

    Permalink

Value Members

  1. object FindFormulaH extends Logger

    Permalink
  2. object RunOnProofSequence

    Permalink
  3. object SimpleInductionProof

    Permalink
  4. object canonicalSolution

    Permalink
  5. object decodeSipGrammar

    Permalink
  6. object findConseq extends Logger

    Permalink

Ungrouped