Object

at.logic.gapt.examples

inductionExamples

Related Doc: package examples

Permalink

object inductionExamples extends Script

Source
induction.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. inductionExamples
  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. val ForAllAdd0: FOLFormula

    Permalink
  5. val ForAllAddS: FOLFormula

    Permalink
  6. val ForAllAssoc: FOLFormula

    Permalink
  7. val a: FOLVar

    Permalink
  8. def add0(v: FOLTerm): FOLAtom

    Permalink
  9. def addS(u: FOLTerm, v: FOLTerm): FOLAtom

    Permalink
  10. def args: Array[String]

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

    Permalink
    Definition Classes
    Any
  12. def assoc(x: FOLTerm, y: FOLTerm, z: FOLTerm): FOLAtom

    Permalink
  13. val b: FOLVar

    Permalink
  14. val c: FOLVar

    Permalink
  15. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  16. final def eq(arg0: AnyRef): Boolean

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

    Permalink
    Definition Classes
    AnyRef → Any
  18. val executionStart: Long

    Permalink
    Definition Classes
    App
  19. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  20. final def getClass(): Class[_]

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

    Permalink
    Definition Classes
    AnyRef → Any
  22. val inductionBase: Tree[OccSequent] with LKProof

    Permalink
  23. val inductionBase1: LeafTree[OccSequent] with NullaryLKProof

    Permalink
  24. val inductionBase2: BinaryTree[OccSequent] with BinaryLKProof with AuxiliaryFormulas with PrincipalFormulas

    Permalink
  25. val inductionBase3: BinaryTree[OccSequent] with BinaryLKProof with AuxiliaryFormulas with PrincipalFormulas

    Permalink
  26. val inductionBase4: UnaryTree[OccSequent] with UnaryLKProof with AuxiliaryFormulas with PrincipalFormulas with SubstitutionTerm

    Permalink
  27. val inductionBase5: Tree[OccSequent] with LKProof

    Permalink
  28. val inductionProof: LKProof

    Permalink
  29. val inductionStep: Tree[OccSequent] with LKProof

    Permalink
  30. val inductionStep1: LeafTree[OccSequent] with NullaryLKProof

    Permalink
  31. val inductionStep2: LKProof

    Permalink
  32. val inductionStep3: BinaryTree[OccSequent] with BinaryLKProof with AuxiliaryFormulas with PrincipalFormulas

    Permalink
  33. val inductionStep4: LKProof

    Permalink
  34. val inductionStep5: LKProof

    Permalink
  35. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  36. def main(args: Array[String]): Unit

    Permalink
    Definition Classes
    App
    Annotations
    @deprecatedOverriding( "main should not be overridden" , "2.11.0" )
  37. final def ne(arg0: AnyRef): Boolean

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

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

    Permalink
    Definition Classes
    AnyRef
  40. def plus(x: FOLTerm, y: FOLTerm): FOLTerm

    Permalink
  41. def ref(t: FOLTerm): FOLAtom

    Permalink
  42. def run(): Unit

    Permalink
    Definition Classes
    Script
  43. def s(x: FOLTerm): FOLTerm

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

    Permalink
    Definition Classes
    AnyRef
  45. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  46. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  49. val x: FOLVar

    Permalink
  50. val y: FOLVar

    Permalink
  51. val z: FOLVar

    Permalink
  52. val zero: FOLConst

    Permalink

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