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