Метод | Описание | |
---|---|---|
ProofStepChainCancellation ( |
||
getJustification ( ) : String | ||
getPredecessorSteps ( ) : List |
||
getProof ( ) : String |
public ProofStepChainCancellation ( |
||
cancellation | ||
cancellationOf | ||
subst | Term>.Dictionary | |
Результат | System |