o

at.logic.gapt.examples

FactorialFunctionEqualityExampleProof2

object FactorialFunctionEqualityExampleProof2 extends ProofSequence

Source
ProofSequences.scala
Linear Supertypes
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. All

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[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  10. def endSequent(n: Int): HOLSequent
  11. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  13. def f(x: FOLTerm): FOLTerm
  14. def f0: FOLAtom
  15. def fST(x: FOLTerm): FOLAtom
  16. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  17. def g(x: FOLTerm, y: FOLTerm): FOLTerm
  18. def g0(x: FOLTerm): FOLAtom
  19. def gST(x: FOLTerm, y: FOLTerm): FOLAtom
  20. val gamma: FOLVar
  21. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  22. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  23. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  24. def m(x: FOLTerm, y: FOLTerm): FOLTerm
  25. def name: String
    Definition Classes
    ProofSequence
  26. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  27. final def notify(): Unit
    Definition Classes
    AnyRef
  28. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  29. val nu: FOLVar
  30. val one: FOLTerm
  31. def s(x: FOLTerm): FOLTerm
  32. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  33. def target(x: FOLTerm): FOLAtom
  34. def toString(): String
    Definition Classes
    AnyRef → Any
  35. def uL(x: FOLTerm): FOLAtom
  36. def uR(x: FOLTerm): FOLAtom
  37. val w: FOLVar
  38. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  39. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  41. val x: FOLVar
  42. val y: FOLVar
  43. val z: FOLVar
  44. val zero: FOLConst

Inherited from ProofSequence

Inherited from AnyRef

Inherited from Any

Ungrouped