public class CompoundProof extends ProofAggregate
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
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
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
Copyright © 2003-2019 The KeY-Project.