Метод | Описание | |
---|---|---|
ProofStepClauseBinaryResolvent ( Clause resolvent, Clause parent1, Clause parent2, Term>.Dictionary |
||
getJustification ( ) : String | ||
getPredecessorSteps ( ) : List |
||
getProof ( ) : String |
public ProofStepClauseBinaryResolvent ( Clause resolvent, Clause parent1, Clause parent2, Term>.Dictionary |
||
resolvent | Clause | |
parent1 | Clause | |
parent2 | Clause | |
subst | Term>.Dictionary | |
renameSubst | Term>.Dictionary | |
Результат | System |