AIMA.Core.Logic.FOL.Inference.Proof.ProofStepChainDropped.ProofStepChainDropped C# (CSharp) Method

        public ProofStepChainDropped(Chain dropped, Chain droppedOff)
        {
            this.dropped = dropped;
            this.droppedOff = droppedOff;
            this.predecessors.Add(droppedOff.getProofStep());
        }