Method | Description | |
---|---|---|
ProofStepClauseClausifySentence ( Clause clausified, Sentence origSentence ) : System | ||
getJustification ( ) : String | ||
getPredecessorSteps ( ) : List |
||
getProof ( ) : String |
public ProofStepClauseClausifySentence ( Clause clausified, Sentence origSentence ) : System | ||
clausified | Clause | |
origSentence | Sentence | |
return | System |