public ProofStepChainFromClause ( |
||
chain | ||
fromClause | Clause | |
return | System |
public ProofStepChainFromClause(Chain chain, Clause fromClause)
{
this.chain = chain;
this.fromClause = fromClause;
this.predecessors.Add(fromClause.getProofStep());
}