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

        public List<ProofStep> getSteps()
        {
            // Only calculate if the proof steps are actually requested.
            if (null == proofSteps)
            {
                calcualteProofSteps();
            }
            return proofSteps;
        }