Object

at.logic.gapt.examples.induction

prototype

Related Doc: package induction

Permalink

object prototype extends Script

Source
prototype.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. prototype
  2. Script
  3. App
  4. DelayedInit
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. def args: Array[String]

    Permalink
    Attributes
    protected
    Definition Classes
    App
    Annotations
    @deprecatedOverriding( "args should not be overridden" , "2.11.0" )
  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  6. val assoc2ES: Sequent[FOLFormula]

    Permalink
  7. val assocES: Sequent[FOLFormula]

    Permalink
  8. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  9. val comm1ES: Sequent[FOLFormula]

    Permalink
  10. val commES: Sequent[FOLFormula]

    Permalink
  11. val commsxES: Sequent[FOLFormula]

    Permalink
  12. val endSequent: Sequent[HOLFormula]

    Permalink
  13. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  14. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  15. val evenES: Sequent[FOLFormula]

    Permalink
  16. val executionStart: Long

    Permalink
    Definition Classes
    App
  17. val factorialES: Sequent[FOLFormula]

    Permalink
  18. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  19. val generalDiffConclES: Sequent[FOLFormula]

    Permalink
  20. val generalES: Sequent[FOLFormula]

    Permalink
  21. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  22. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  23. val homES: Sequent[FOLFormula]

    Permalink
  24. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  25. val linearES: Sequent[FOLFormula]

    Permalink
  26. def main(args: Array[String]): Unit

    Permalink
    Definition Classes
    App
    Annotations
    @deprecatedOverriding( "main should not be overridden" , "2.11.0" )
  27. val maybeIndProof: Option[SimpleInductionProof]

    Permalink
  28. val minusES: Sequent[FOLFormula]

    Permalink
  29. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  30. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  31. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  32. def run(): Unit

    Permalink
    Definition Classes
    Script
  33. val sipProver: SipProver

    Permalink
  34. val squareES: Sequent[FOLFormula]

    Permalink
  35. val sumES: Sequent[FOLFormula]

    Permalink
  36. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  37. lazy val tipES: Sequent[HOLFormula]

    Permalink
  38. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  39. val twoEvenDefsES: Sequent[FOLFormula]

    Permalink
  40. val twoPlusDefsES: Sequent[FOLFormula]

    Permalink
  41. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  42. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  43. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def delayedInit(body: ⇒ Unit): Unit

    Permalink
    Definition Classes
    App → DelayedInit
    Annotations
    @deprecated
    Deprecated

    (Since version 2.11.0) The delayedInit mechanism will disappear.

Inherited from Script

Inherited from App

Inherited from DelayedInit

Inherited from AnyRef

Inherited from Any

Ungrouped