Package

at.logic.gapt.provers

viper

Permalink

package viper

Content Hierarchy
Visibility
  1. Public
  2. All

Type Members

  1. class HeuristicSolutionFinder extends SolutionFinder

    Permalink
  2. class SimpleInductionProof extends AnyRef

    Permalink

    Models a simple induction proof.

  3. class SipProver extends OneShotProver with Logger

    Permalink
  4. trait SolutionFinder extends AnyRef

    Permalink
  5. class Viper extends AnyRef

    Permalink
  6. 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

    Permalink

Ungrouped