public ProofFinal ( ProofStep finalStep, Term>.Dictionary |
||
finalStep | ProofStep | |
answerBindings | Term>.Dictionary | |
return | System |
public ProofFinal(ProofStep finalStep, Dictionary<Variable, Term> answerBindings)
{
this.finalStep = finalStep;
this.answerBindings = answerBindings;
}