public class SingleProof extends ProofAggregate
Constructor and Description |
---|
SingleProof(Proof p,
String name) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object o) |
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 ProofStatus getStatus()
getStatus
in class ProofAggregate
public Proof[] getProofs()
getProofs
in class ProofAggregate
public boolean equals(Object o)
equals
in class ProofAggregate
public int hashCode()
hashCode
in class ProofAggregate
public int size()
size
in class ProofAggregate
public List<ProofAggregate> getChildren()
getChildren
in class ProofAggregate
public ProofAggregate getChildrenAt(int i)
getChildrenAt
in class ProofAggregate