Method | Description | |
---|---|---|
ProofFinal ( ProofStep finalStep, Term>.Dictionary |
||
ToString ( ) : String | ||
getAnswerBindings ( ) : Term>.Dictionary |
||
getSteps ( ) : List |
||
replaceAnswerBindings ( Term>.Dictionary |
Method | Description | |
---|---|---|
addToProofSteps ( ProofStep step ) : void | ||
calcualteProofSteps ( ) : void |
public ProofFinal ( ProofStep finalStep, Term>.Dictionary |
||
finalStep | ProofStep | |
answerBindings | Term>.Dictionary | |
return | System |
public getAnswerBindings ( ) : Term>.Dictionary |
||
return | Term>.Dictionary |
public replaceAnswerBindings ( Term>.Dictionary |
||
updatedBindings | Term>.Dictionary | |
return | void |