Packages

package viper

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

Package Members

  1. package aip
  2. package grammars
  3. package spin

Type Members

  1. case class AipOptions(axioms: AxiomFactory = SequentialInductionAxioms(), prover: ResolutionProver = Escargot) extends Product with Serializable
  2. case class ViperOptions(verbosity: Int = 2, mode: String = "portfolio", fixup: Boolean = true, prooftool: Boolean = false, metrics: Boolean = false, treeGrammarProverOptions: TreeGrammarProverOptions = TreeGrammarProverOptions(), aipOptions: AipOptions = AipOptions(), spinOptions: SpinOptions = SpinOptions(), tipProblem: Option[TipProblem] = None) extends Product with Serializable

Value Members

  1. object Viper
  2. object ViperOptions extends Serializable

Ungrouped