public abstract class ProofAggregate
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
name |
Modifier | Constructor and Description |
---|---|
protected |
ProofAggregate(java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
static ProofAggregate |
createProofAggregate(Proof[] proofs,
java.lang.String name) |
static ProofAggregate |
createProofAggregate(ProofAggregate[] proofs,
java.lang.String name) |
static ProofAggregate |
createProofAggregate(Proof proof,
java.lang.String name) |
java.lang.String |
description() |
boolean |
equals(java.lang.Object o) |
abstract java.util.List<ProofAggregate> |
getChildren() |
abstract ProofAggregate |
getChildrenAt(int i) |
Proof |
getFirstProof() |
Proof |
getProof(int proofNum) |
abstract Proof[] |
getProofs() |
abstract ProofStatus |
getStatus() |
int |
hashCode() |
void |
setProofEnv(ProofEnvironment env) |
abstract int |
size() |
java.lang.String |
toString() |
public static ProofAggregate createProofAggregate(ProofAggregate[] proofs, java.lang.String name)
public static ProofAggregate createProofAggregate(Proof[] proofs, java.lang.String name)
public static ProofAggregate createProofAggregate(Proof proof, java.lang.String name)
public abstract Proof[] getProofs()
public Proof getFirstProof()
public void setProofEnv(ProofEnvironment env)
public abstract int size()
public java.lang.String description()
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public abstract ProofStatus getStatus()
public abstract java.util.List<ProofAggregate> getChildren()
public abstract ProofAggregate getChildrenAt(int i)
public Proof getProof(int proofNum)