o

gapt.examples.sequence

FactorialFunctionEqualityExampleProof2

object FactorialFunctionEqualityExampleProof2 extends ProofSequence

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. FactorialFunctionEqualityExampleProof2
  2. ProofSequence
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def ASSO(x: FOLTerm, y: FOLTerm, z: FOLTerm): FOLAtom
  5. val alpha: FOLVar
  6. def apply(n: Int): LKProof
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. val beta: FOLVar
  9. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  10. def endSequent(n: Int): HOLSequent
  11. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  13. def f(x: FOLTerm): FOLTerm
  14. def f0: FOLAtom
  15. def fST(x: FOLTerm): FOLAtom
  16. def g(x: FOLTerm, y: FOLTerm): FOLTerm
  17. def g0(x: FOLTerm): FOLAtom
  18. def gST(x: FOLTerm, y: FOLTerm): FOLAtom
  19. val gamma: FOLVar
  20. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  21. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  22. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  23. def m(x: FOLTerm, y: FOLTerm): FOLTerm
  24. def name: String
    Definition Classes
    ProofSequence
  25. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  26. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  27. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  28. val nu: FOLVar
  29. val one: FOLTerm
  30. def s(x: FOLTerm): FOLTerm
  31. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  32. def target(x: FOLTerm): FOLAtom
  33. def toString(): String
    Definition Classes
    AnyRef → Any
  34. def uL(x: FOLTerm): FOLAtom
  35. def uR(x: FOLTerm): FOLAtom
  36. val w: FOLVar
  37. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  38. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  39. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  40. val x: FOLVar
  41. val y: FOLVar
  42. val z: FOLVar
  43. val zero: FOLConst

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from ProofSequence

Inherited from AnyRef

Inherited from Any

Ungrouped