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