public ProofStepClauseParamodulation ( Clause paramodulated, Clause topClause, Clause equalityClause, |
||
paramodulated | Clause | |
topClause | Clause | |
equalityClause | Clause | |
assertion | ||
return | System |
public ProofStepClauseParamodulation(Clause paramodulated,
Clause topClause, Clause equalityClause, TermEquality assertion)
{
this.paramodulated = paramodulated;
this.topClause = topClause;
this.equalityClause = equalityClause;
this.assertion = assertion;
this.predecessors.Add(topClause.getProofStep());
this.predecessors.Add(equalityClause.getProofStep());
}