Метод | Описание | |
---|---|---|
ProofStepClauseDemodulation ( Clause demodulated, Clause origClause, |
||
getJustification ( ) : String | ||
getPredecessorSteps ( ) : List |
||
getProof ( ) : String |
public ProofStepClauseDemodulation ( Clause demodulated, Clause origClause, |
||
demodulated | Clause | |
origClause | Clause | |
assertion | ||
Результат | System |