Метод | Описание | |
---|---|---|
ProofStepBwChGoal ( Clause toProve, |
||
getBindings ( ) : Term>.Dictionary |
||
getJustification ( ) : String | ||
getPredecessorSteps ( ) : List |
||
getProof ( ) : String | ||
setPredecessor ( ProofStep predecessor ) : void |
public ProofStepBwChGoal ( Clause toProve, |
||
toProve | Clause | |
currentGoal | ||
bindings | Term>.Dictionary | |
Результат | System |
public setPredecessor ( ProofStep predecessor ) : void | ||
predecessor | ProofStep | |
Результат | void |