Object

at.logic.gapt.examples.prime

prime3

Related Doc: package prime

Permalink

object prime3 extends prime

Source
prime.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. prime3
  2. prime
  3. Serializable
  4. Serializable
  5. Product
  6. Equals
  7. PrimeDefinitions
  8. TacticsProof
  9. AnyRef
  10. 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 F(k: Int): Const

    Permalink
    Definition Classes
    PrimeDefinitions
  5. def FQ: LKProof

    Permalink
    Definition Classes
    prime
  6. def FR: LKProof

    Permalink
    Definition Classes
    prime
  7. def P(k: Int): Const

    Permalink
    Definition Classes
    PrimeDefinitions
  8. val Pi_1: LKProof

    Permalink
    Definition Classes
    prime
  9. def Q(k: Int): Const

    Permalink
    Definition Classes
    PrimeDefinitions
  10. def R(k: Int): Const

    Permalink
    Definition Classes
    PrimeDefinitions
  11. def RQ(n: Int): LKProof

    Permalink
    Definition Classes
    prime
  12. def S(k: Int): Const

    Permalink
    Definition Classes
    PrimeDefinitions
  13. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  14. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  15. val compCompProof: LKProof

    Permalink
    Definition Classes
    prime
  16. implicit def ctx: FiniteContext

    Permalink
    Definition Classes
    TacticsProof
  17. def ctx_=(newContext: FiniteContext): Unit

    Permalink
    Attributes
    protected
    Definition Classes
    TacticsProof
  18. val deMorgan1: LKProof

    Permalink
    Definition Classes
    prime
  19. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  20. val extensionality: HOLFormula

    Permalink
    Definition Classes
    prime
  21. def finalize(): Unit

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

    Permalink
    Definition Classes
    AnyRef → Any
  23. val infiniteSubset: LKProof

    Permalink
    Definition Classes
    prime
  24. val intersectionOpen: LKProof

    Permalink
    Definition Classes
    prime
  25. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  26. val k: Int

    Permalink
    Definition Classes
    primePrimeDefinitions
  27. def lambda(n: Int): LKProof

    Permalink
    Definition Classes
    prime
  28. def main(args: Array[String]): Unit

    Permalink
    Definition Classes
    TacticsProof
  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. val openClosedProof: LKProof

    Permalink
    Definition Classes
    prime
  33. val p: IndexedSeq[FOLConst]

    Permalink
    Definition Classes
    PrimeDefinitions
  34. def pgt0: LKProof

    Permalink
    Definition Classes
    prime
  35. val phi2: LKProof

    Permalink
    Definition Classes
    prime
  36. def prod(k: Int): Const

    Permalink
    Definition Classes
    PrimeDefinitions
  37. val progClosed: LKProof

    Permalink
    Definition Classes
    prime
  38. def proof: LKProof

    Permalink
    Definition Classes
    prime
  39. def psi1: LKProof

    Permalink
    Definition Classes
    prime
  40. val psi1Left: LKProof

    Permalink
    Definition Classes
    prime
  41. val psi1Right: LKProof

    Permalink
    Definition Classes
    prime
  42. def psi2: LKProof

    Permalink
    Definition Classes
    prime
  43. def psi2Right(n: Int): LKProof

    Permalink
    Definition Classes
    prime
  44. val singletonFinite: LKProof

    Permalink
    Definition Classes
    prime
  45. val singletonNonempty: LKProof

    Permalink
    Definition Classes
    prime
  46. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  47. val unionClosed: LKProof

    Permalink
    Definition Classes
    prime
  48. def varrho2(n: Int): LKProof

    Permalink

    Proof of x ∈ S[n] :- ∃y ( y ∈ P[n] ∧ x ∈ ν(0,y) )

    Proof of x ∈ S[n] :- ∃y ( y ∈ P[n] ∧ x ∈ ν(0,y) )

    Definition Classes
    prime
  49. final def wait(): Unit

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

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

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

Inherited from prime

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from PrimeDefinitions

Inherited from TacticsProof

Inherited from AnyRef

Inherited from Any

Ungrouped