Package | Description |
---|---|
de.uka.ilkd.key.proof |
This package contains the core data structures of proofs, nodes, goals, as well
as machinery to deal with these data structures.
|
de.uka.ilkd.key.proof.mgt |
This package contains classes for proof environments and proof management.
|
Modifier and Type | Method and Description |
---|---|
ProofStatus |
SingleProof.getStatus() |
ProofStatus |
CompoundProof.getStatus() |
abstract ProofStatus |
ProofAggregate.getStatus() |
Modifier and Type | Method and Description |
---|---|
ProofStatus |
ProofStatus.combine(ProofStatus ps) |
ProofStatus |
ProofCorrectnessMgt.getStatus() |
ProofStatus |
EnvNode.getStatus() |
ProofStatus |
ProofAggregateTask.getStatus() |
ProofStatus |
BasicTask.getStatus()
asks the proof management component of the associated proofs
for the status of the associated proof .
|
ProofStatus |
TaskTreeNode.getStatus() |
static ProofStatus |
ProofStatus.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static ProofStatus[] |
ProofStatus.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
ProofStatus |
ProofStatus.combine(ProofStatus ps) |
Copyright © 2003-2019 The KeY-Project.