package viper
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
- case class AipOptions(axioms: AxiomFactory = SequentialInductionAxioms(), prover: ResolutionProver = Escargot) extends Product with Serializable
- 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
- object Viper
- object ViperOptions extends Serializable
This is the API documentation for GAPT.
The main package is gapt.