Packages

case class NJSequent[+A](assumptions: Seq[A], conclusion: A) extends Product with Serializable

Sequents for the intuitionistic calculus NJ, i.e. natural deduction with sequents.

They have the form A1,...,Am :- B (there is always exactly one element in the succedent).

A

The type of elements in the sequent.

assumptions

The elements A1,...,Am.

conclusion

The element B.

Source
NJSequent.scala
Linear Supertypes
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. NJSequent
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. AnyRef
  7. Any
Implicitly
  1. by toSequent
  2. by any2stringadd
  3. by StringFormat
  4. by Ensuring
  5. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new NJSequent(assumptions: Seq[A], conclusion: A)

    assumptions

    The elements A1,...,Am.

    conclusion

    The element B.

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def +(other: String): String
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to any2stringadd[NJSequent[A]] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  4. def ++[B >: A](that: Sequent[B]): Sequent[B]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  5. def ++:[B >: A](es: Traversable[B]): Sequent[B]

    Adds a sequent of elements to the antecedent.

    Adds a sequent of elements to the antecedent. New elements are always outermost, i.e. on the very left.

    es

    A collection of elements of type B > A.

    returns

    The sequent with es added to the antecedent.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  6. def +:[B >: A](e: B): Sequent[B]

    Adds an element to the antecedent.

    Adds an element to the antecedent. New elements are always outermost, i.e. on the very left.

    e

    An element of type B > A

    returns

    The sequent with e added to the antecedent

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  7. def ->[B](y: B): (NJSequent[A], B)
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to ArrowAssoc[NJSequent[A]] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  8. def :+[B >: A](e: B): Sequent[B]

    Adds an element to the succedent.

    Adds an element to the succedent. New elements are always outermost, i.e. on the very right.

    e

    An element of type B > A

    returns

    The sequent with e added to the succedent

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  9. def :++[B >: A](es: Traversable[B]): Sequent[B]

    Adds a sequence of elements to the succedent.

    Adds a sequence of elements to the succedent. New elements are always outermost, i.e. on the very right.

    es

    A collection of elements of type B > A.

    returns

    The sequent with es added to the succedent.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  10. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. val antecedent: Vector[A]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  12. def apply(is: Seq[SequentIndex]): Seq[A]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  13. def apply(i: SequentIndex): A

    Returns the element at some SequentIndex.

    Returns the element at some SequentIndex.

    i

    A SequentIndex, i.e. Ant(k) or Suc(k)

    returns

    The k-th element of the antecedent or succedent, depending on the type of i.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  14. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  15. val assumptions: Seq[A]
  16. def cedent(polarity: Polarity): Vector[A]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  17. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  18. def collect[B](f: PartialFunction[A, B]): Sequent[B]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  19. val conclusion: A
  20. def contains[B](el: B, polarity: Polarity): Boolean
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  21. def contains[B](el: B): Boolean

    Returns true iff the sequent contains some element in either cedent.

    Returns true iff the sequent contains some element in either cedent.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  22. def delete(is: SequentIndex*)(implicit d: DummyImplicit): Sequent[A]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  23. def delete(is: Seq[SequentIndex]): Sequent[A]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  24. def delete(i: SequentIndex): Sequent[A]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  25. def diff[B >: A](other: Sequent[B]): Sequent[A]

    Takes the multiset difference between two sequents, i.e.

    Takes the multiset difference between two sequents, i.e. each side separately.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  26. def distinct: Sequent[A]

    Removes duplicate formulas from both cedents.

    Removes duplicate formulas from both cedents.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  27. def elements: Vector[A]

    Sequence of elements of the sequent.

    Sequence of elements of the sequent.

    returns

    Antecedent concatenated with succedent.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  28. def ensuring(cond: (NJSequent[A]) ⇒ Boolean, msg: ⇒ Any): NJSequent[A]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Ensuring[NJSequent[A]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  29. def ensuring(cond: (NJSequent[A]) ⇒ Boolean): NJSequent[A]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Ensuring[NJSequent[A]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  30. def ensuring(cond: Boolean, msg: ⇒ Any): NJSequent[A]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Ensuring[NJSequent[A]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  31. def ensuring(cond: Boolean): NJSequent[A]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Ensuring[NJSequent[A]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  32. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  33. def exists(p: (A) ⇒ Boolean): Boolean
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  34. def filter(p: (A) ⇒ Boolean): Sequent[A]

    The sub-sequent of elements satisfying some predicate.

    The sub-sequent of elements satisfying some predicate.

    p

    A function of type A => Boolean.

    returns

    The sequent consisting of only those elements satisfying p.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  35. def filterNot(p: (A) ⇒ Boolean): Sequent[A]

    The sub-sequent of elements not satisfying some predicate.

    The sub-sequent of elements not satisfying some predicate.

    p

    A function of type A => Boolean.

    returns

    The sequent consisting of only those elements not satisfying p.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  36. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  37. def find(pred: (A) ⇒ Boolean): Option[SequentIndex]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  38. def flatMap[B](f: (A) ⇒ TraversableOnce[B], g: (A) ⇒ TraversableOnce[B]): Sequent[B]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  39. def flatMap[B](f: (A) ⇒ TraversableOnce[B]): Sequent[B]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  40. def focus(i: SequentIndex): (A, Sequent[A])

    Focuses on one element of the sequent, i.e.

    Focuses on one element of the sequent, i.e. returns element at index and the rest of the sequent.

    i

    A SequentIndex.

    returns

    A pair consisting of this(i) and the rest of this.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  41. def forall(p: (A) ⇒ Boolean): Boolean
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  42. def foreach[U](f: (A) ⇒ U): Unit
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  43. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to StringFormat[NJSequent[A]] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  44. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  45. def groupBy[B](f: (A) ⇒ B): Sequent[(B, Vector[A])]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  46. def indexOf[B >: A](elem: B): SequentIndex
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  47. def indexOfInAnt[B >: A](elem: B): SequentIndex
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  48. def indexOfInSuc[B >: A](elem: B): SequentIndex
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  49. def indexOfOption[B >: A](elem: B): Option[SequentIndex]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  50. def indexOfPol[B >: A](elem: B, polarity: Polarity): SequentIndex
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  51. def indexOfPolOption[B >: A](elem: B, pol: Polarity): Option[SequentIndex]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  52. def indices: Vector[SequentIndex]

    Returns the range of indices of the sequent as a sequence.

    Returns the range of indices of the sequent as a sequence.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  53. def indicesSequent: Sequent[SequentIndex]

    Returns the range of indices of the sequent as a sequent.

    Returns the range of indices of the sequent as a sequent.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  54. def indicesWhere(p: (A) ⇒ Boolean): Vector[SequentIndex]

    Returns the list of indices of elements satisfying some predicate.

    Returns the list of indices of elements satisfying some predicate.

    p

    A function of type A => Boolean.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  55. def indicesWherePol(p: (A) ⇒ Boolean, pol: Polarity): Vector[SequentIndex]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  56. def insertAt[B >: A](i: SequentIndex, el: B): Sequent[B]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  57. def intersect[B >: A](other: Sequent[B]): Sequent[A]

    Computes the intersection of two sequents.

    Computes the intersection of two sequents.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  58. def isDefinedAt(i: SequentIndex): Boolean

    Tests whether the sequent is defined at the supplied SequentIndex.

    Tests whether the sequent is defined at the supplied SequentIndex.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  59. def isEmpty: Boolean

    Returns true iff both cedents are empty.

    Returns true iff both cedents are empty.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  60. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  61. def isSubMultisetOf[B >: A](other: Sequent[B]): Boolean
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  62. def isSubsetOf[B >: A](other: Sequent[B]): Boolean

    other

    Another Sequent.

    returns

    True iff other contains this pair of sets.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  63. def isTaut: Boolean
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  64. def length: Int

    The number of elements in the sequent.

    The number of elements in the sequent.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  65. def lengths: (Int, Int)

    A pair consisting of the lengths of the cedents.

    A pair consisting of the lengths of the cedents.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  66. def map[B](f: (A) ⇒ B, g: (A) ⇒ B): Sequent[B]

    Maps two functions over the antecedent and succedent, respectively.

    Maps two functions over the antecedent and succedent, respectively.

    B

    The return type of f and g.

    f

    The function to map over the antecedent.

    g

    The function to map over the succedent.

    returns

    The sequent of type B that results from mapping f and g over the antecedent and succedent, respectively.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  67. def map[B](f: (A) ⇒ B): Sequent[B]

    Maps a function over both cedents

    Maps a function over both cedents

    B

    The return type of f

    f

    A function of type A => B

    returns

    The sequent of type B that results from mapping f over both cedents.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  68. def multiSetEquals[B](other: Sequent[B]): Boolean

    Equality treating each side of the sequent as a multiset.

    Equality treating each side of the sequent as a multiset.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  69. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  70. def nonEmpty: Boolean
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  71. final def notify(): Unit
    Definition Classes
    AnyRef
  72. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  73. def polarizedElements: Vector[(A, Polarity)]

    Sequence of elements together with polarities of type Boolean signifying whether an element is in the antecedent or succedent.

    Sequence of elements together with polarities of type Boolean signifying whether an element is in the antecedent or succedent.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  74. def removeFromAntecedent[B](e: B): Sequent[A]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  75. def removeFromSuccedent[B](e: B): Sequent[A]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  76. def replaceAt[B >: A](i: SequentIndex, el: B): Sequent[B]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  77. def setEquals[B](other: Sequent[B]): Boolean

    Equality treating each side of the sequent as a set.

    Equality treating each side of the sequent as a set.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  78. def size: Int

    Synonym for length.

    Synonym for length.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  79. def sizes: (Int, Int)

    Synonym for lengths.

    Synonym for lengths.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  80. def sortBy[B](f: (A) ⇒ B)(implicit ord: Ordering[B]): Sequent[A]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  81. def sorted[B >: A](implicit ordering: Ordering[B]): Sequent[A]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  82. val succedent: Vector[A]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  83. def swapped: Sequent[A]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  84. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  85. def toSigRelativeString(implicit sig: BabelSignature): String
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  86. def toString(): String
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent → AnyRef → Any
  87. def toTuple: (Vector[A], Vector[A])

    returns

    The sequent in tuple form.

    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  88. def updated[B >: A](index: SequentIndex, elem: B): Sequent[B]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  89. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  90. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  91. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  92. def withFilter(p: (A) ⇒ Boolean): Sequent[A]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  93. def zip[B](that: Sequent[B]): Sequent[(A, B)]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  94. def zipWithIndex: Sequent[(A, SequentIndex)]
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to Sequent[A] performed by method toSequent in at.logic.gapt.proofs.NJSequent.
    Definition Classes
    Sequent
  95. def [B](y: B): (NJSequent[A], B)
    Implicit
    This member is added by an implicit conversion from NJSequent[A] to ArrowAssoc[NJSequent[A]] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion toSequent from NJSequent[A] to Sequent[A]

Inherited by implicit conversion any2stringadd from NJSequent[A] to any2stringadd[NJSequent[A]]

Inherited by implicit conversion StringFormat from NJSequent[A] to StringFormat[NJSequent[A]]

Inherited by implicit conversion Ensuring from NJSequent[A] to Ensuring[NJSequent[A]]

Inherited by implicit conversion ArrowAssoc from NJSequent[A] to ArrowAssoc[NJSequent[A]]

Ungrouped