TreeGrammarProverOptions

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: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

An iterator over the names of all the elements of this product.

An iterator over all the elements of this product.

In this article

Generated with