| public ProofStepClauseFactor ( Clause factor, Clause factorOf ) : System | ||
| factor | Clause | |
| factorOf | Clause | |
| return | System | |
public ProofStepClauseFactor(Clause factor, Clause factorOf)
{
this.factor = factor;
this.factorOf = factorOf;
this.predecessors.Add(factorOf.getProofStep());
}
