package
viper
Type Members
-
-
-
-
-
-
case class
ViperOptions(instanceNumber: Int = 3, instanceSize: FloatRange = ( 0, 3 ), instanceProver: String = "spass_nopred", quantTys: Option[Seq[TBase]] = None, grammarWeighting: (Rule) ⇒ Int = _ => 1, tautCheckNumber: Int = 20, tautCheckSize: FloatRange = ( 2, 3 ), canSolSize: FloatRange = ( 2, 4 ), forgetOne: Boolean = false, verbose: Boolean = true) extends Product with Serializable