AIMA.Core.Logic.FOL.Inference.Proof.ProofStepChainContrapositive.ProofStepChainContrapositive C# (CSharp) Méthode

ProofStepChainContrapositive() public méthode

public ProofStepChainContrapositive ( Chain contrapositive, Chain contrapositiveOf ) : System
contrapositive AIMA.Core.Logic.FOL.KB.Data.Chain
contrapositiveOf AIMA.Core.Logic.FOL.KB.Data.Chain
Résultat System
        public ProofStepChainContrapositive(Chain contrapositive,
                Chain contrapositiveOf)
        {
            this.contrapositive = contrapositive;
            this.contrapositiveOf = contrapositiveOf;
            this.predecessors.Add(contrapositiveOf.getProofStep());
        }