de.uka.ilkd.key.proof

Class CompoundProof

java.lang.Object

de.uka.ilkd.key.proof.ProofAggregate

de.uka.ilkd.key.proof.CompoundProof

public class CompoundProof
extends ProofAggregate

Field Summary

Fields

Modifier and Type	Field and Description
private ArrayList<ProofAggregate>	proofs

Constructor Summary

Constructors

Constructor and Description
CompoundProof(String name, ProofAggregate... proofs)

Method Summary

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()

Methods inherited from class de.uka.ilkd.key.proof.ProofAggregate

createProofAggregate, createProofAggregate, createProofAggregate, description, getFirstProof, getProof, setProofEnv, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

proofs

private final ArrayList<ProofAggregate> proofs

Constructor Detail

CompoundProof

CompoundProof(String name,
              ProofAggregate... proofs)

Method Detail

flatten

private void flatten(ProofAggregate p,
                     List<Proof> l)

flatten

private void flatten(List<Proof> l)

getProofs

public Proof[] getProofs()

Specified by:

getProofs in class ProofAggregate

size

public int size()

Specified by:

size in class ProofAggregate

get

public ProofAggregate get(int i)

getChildren

public List<ProofAggregate> getChildren()

Specified by:

getChildren in class ProofAggregate

getChildrenAt

public ProofAggregate getChildrenAt(int i)

Specified by:

getChildrenAt in class ProofAggregate

getStatus

public ProofStatus getStatus()

Specified by:

getStatus in class ProofAggregate

equals

public boolean equals(Object o)

Overrides:

equals in class ProofAggregate

hashCode

public int hashCode()

Overrides:

hashCode in class ProofAggregate