public ProofStepClauseBinaryResolvent ( Clause resolvent, Clause parent1, Clause parent2, Term>.Dictionary |
||
resolvent | Clause | |
parent1 | Clause | |
parent2 | Clause | |
subst | Term>.Dictionary | |
renameSubst | Term>.Dictionary | |
Résultat | System |
public ProofStepClauseBinaryResolvent(Clause resolvent, Clause parent1,
Clause parent2, Dictionary<Variable, Term> subst,
Dictionary<Variable, Term> renameSubst)
{
this.resolvent = resolvent;
this.parent1 = parent1;
this.parent2 = parent2;
this.subst = subst;
this.renameSubst = renameSubst;
this.predecessors.Add(parent1.getProofStep());
this.predecessors.Add(parent2.getProofStep());
}