public Hashtable env; // substitutions of goal-level variables
public Proof ToProof()
{
ProofStep[] steps = new ProofStep[body.Count];
for (int i = 0; i < body.Count; i++)
{
steps[i] = ((Ground)body[i]).ToProofStep();
}
return(new Proof(head, steps));
}
public Proof(Statement[] proved, ProofStep[] steps) {
Proved = proved;
Steps = steps;
}
public Proof ToProof()
{
ProofStep[] steps = new ProofStep[body.Count];
for (int i = 0; i < body.Count; i++)
steps[i] = ((Ground)body[i]).ToProofStep();
return new Proof(head, steps);
}
