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