de.uka.ilkd.key.proof

Class SingleProof

java.lang.Object

de.uka.ilkd.key.proof.ProofAggregate

de.uka.ilkd.key.proof.SingleProof

public class SingleProof
extends ProofAggregate

Field Summary

Fields

Modifier and Type	Field and Description
private Proof	proof

Constructor Summary

Constructors

Constructor and Description
SingleProof(Proof p, java.lang.String name)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
java.util.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

proof

private final Proof proof

Constructor Detail

SingleProof

public SingleProof(Proof p,
                   java.lang.String name)

Method Detail

getStatus

public ProofStatus getStatus()

Specified by:

getStatus in class ProofAggregate

getProofs

public Proof[] getProofs()

Specified by:

getProofs in class ProofAggregate

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class ProofAggregate

hashCode

public int hashCode()

Overrides:

hashCode in class ProofAggregate

size

public int size()

Specified by:

size in class ProofAggregate

getChildren

public java.util.List<ProofAggregate> getChildren()

Specified by:

getChildren in class ProofAggregate

getChildrenAt

public ProofAggregate getChildrenAt(int i)

Specified by:

getChildrenAt in class ProofAggregate