Method | Description | |
---|---|---|
ProofStepRenaming ( Object proof, ProofStep predecessor ) : System | ||
getJustification ( ) : String | ||
getPredecessorSteps ( ) : List |
||
getProof ( ) : String |
public ProofStepRenaming ( Object proof, ProofStep predecessor ) : System | ||
proof | Object | |
predecessor | ProofStep | |
return | System |