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. case class ViperOptions(verbosity: Int = 2, mode: String = "portfolio", fixup: Boolean = true, prooftool: Boolean = false, treeGrammarProverOptions: TreeGrammarProverOptions = TreeGrammarProverOptions(), aipOptions: AipOptions = AipOptions()) extends Product with Serializable

Value Members

  1. object Viper
  2. object ViperOptions extends Serializable

Ungrouped