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