gapt.provers.viper.grammars.TreeGrammarProverOptions
See theTreeGrammarProverOptions companion object
case class TreeGrammarProverOptions(goalQuantifier: Int, instanceNumber: Int, instanceSize: FloatRange, instanceProver: Prover, minInstProof: Boolean, smtSolver: Prover, smtEquationMode: SmtEquationMode, quantTys: Option[Seq[TBase]], grammarWeighting: ProductionWeight, tautCheckNumber: Int, tautCheckSize: FloatRange, bupSolver: InductionBupSolver, canSolSize: FloatRange, maxSATSolver: MaxSATSolver, equationalTheory: Seq[Formula])
Attributes
- Companion
- object
- Source
- TreeGrammarProver.scala
- Graph
-
- Supertypes
Members list
In this article