public class CompoundProof extends ProofAggregate
Modifier and Type | Field and Description |
---|---|
private ArrayList<ProofAggregate> |
proofs |
Constructor and Description |
---|
CompoundProof(String name,
ProofAggregate... proofs) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object o) |
private void |
flatten(List<Proof> l) |
private void |
flatten(ProofAggregate p,
List<Proof> l) |
ProofAggregate |
get(int i) |
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 ArrayList<ProofAggregate> proofs
CompoundProof(String name, ProofAggregate... proofs)
private void flatten(ProofAggregate p, List<Proof> l)
public Proof[] getProofs()
getProofs
in class ProofAggregate
public int size()
size
in class ProofAggregate
public ProofAggregate get(int i)
public List<ProofAggregate> getChildren()
getChildren
in class ProofAggregate
public ProofAggregate getChildrenAt(int i)
getChildrenAt
in class ProofAggregate
public ProofStatus getStatus()
getStatus
in class ProofAggregate
public boolean equals(Object o)
equals
in class ProofAggregate
public int hashCode()
hashCode
in class ProofAggregate