trait
DagProof[Proof <: DagProof[Proof]] extends Product
Abstract Value Members
-
abstract
def
canEqual(that: Any): Boolean
-
abstract
def
immediateSubProofs: Seq[Proof]
-
abstract
def
productArity: Int
-
abstract
def
productElement(n: Int): Any
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
def
+(other: String): String
-
def
->[B](y: B): (DagProof[Proof], B)
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
-
def
depth: Int
-
-
-
def
ensuring(cond: Boolean, msg: ⇒ Any): DagProof[Proof]
-
-
-
-
def
finalize(): Unit
-
def
formatted(fmtstr: String): String
-
final
def
getClass(): Class[_]
-
val
hashCode: Int
-
final
def
isInstanceOf[T0]: Boolean
-
def
longName: String
-
def
name: String
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
productIterator: Iterator[Any]
-
def
productPrefix: String
-
def
stepString(subProofLabels: Map[Any, String]): String
-
def
subProofs: Set[Proof]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
def
→[B](y: B): (DagProof[Proof], B)
Inherited by implicit conversion any2stringadd from
DagProof[Proof] to any2stringadd[DagProof[Proof]]
Inherited by implicit conversion StringFormat from
DagProof[Proof] to StringFormat[DagProof[Proof]]
Inherited by implicit conversion Ensuring from
DagProof[Proof] to Ensuring[DagProof[Proof]]
Inherited by implicit conversion ArrowAssoc from
DagProof[Proof] to ArrowAssoc[DagProof[Proof]]
DAG-like proof.
Proofs are recursive structures that are represented as case classes. Equality is standard case class equality (but implemented in such a way that it is efficient on DAGs).
The type of proof, e.g. at.logic.gapt.proofs.lk.LKProof.