Method | Description | |
---|---|---|
ProofStepClauseParamodulation ( Clause paramodulated, Clause topClause, Clause equalityClause, |
||
getJustification ( ) : String | ||
getPredecessorSteps ( ) : List |
||
getProof ( ) : String |
public ProofStepClauseParamodulation ( Clause paramodulated, Clause topClause, Clause equalityClause, |
||
paramodulated | Clause | |
topClause | Clause | |
equalityClause | Clause | |
assertion | ||
return | System |