Packages

package viper

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. case class AipOptions (axioms: AxiomFactory = SequentialInductionAxioms(), prover: ResolutionProver = Escargot) extends Product with Serializable
  2. class HeuristicSolutionFinder extends SolutionFinder
  3. abstract class SimpleInductionProof extends AnyRef

    Models a simple induction proof.

  4. class SimpleInductionProofU extends SimpleInductionProof
  5. class SipProver extends OneShotProver with Logger
  6. trait SolutionFinder extends AnyRef
  7. case class ViperOptions (verbosity: Int = 2, mode: String = "portfolio", fixup: Boolean = true, prooftool: Boolean = false, firstOrderProver: ResolutionProver = Escargot, treeGrammarProverOptions: TreeGrammarProverOptions = TreeGrammarProverOptions(), aipOptions: AipOptions = AipOptions()) extends Product with Serializable
  8. class ViperTactic extends Tactic[Unit]

Ungrouped