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