Class

at.logic.gapt.proofs.DagProof

TreeLikeOps

Related Doc: package DagProof

Permalink

final class TreeLikeOps[Proof <: DagProof[Proof]] extends AnyVal

Linear Supertypes
AnyVal, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TreeLikeOps
  2. AnyVal
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new TreeLikeOps(self: Proof)

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    Any

  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  5. def foreach(f: (Proof) ⇒ Unit): Unit

    Permalink

    Iterate over all sub-proofs including this in post-order.

  6. def getClass(): Class[_ <: AnyVal]

    Permalink
    Definition Classes
    AnyVal → Any

  7. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  8. def postOrder: Seq[Proof]

    Permalink

    A sequence of all sub-proofs including this in post-order.

  9. val self: Proof

    Permalink

  10. def size: BigInt

    Permalink

    Number of sub-proofs including this, counting duplicates.

  11. def toString(): String

    Permalink
    Definition Classes
    TreeLikeOps → Any

Inherited from AnyVal

Inherited from Any

Ungrouped