Axiom.Runtime.UnitTests._AMHeap.Push_AbstractTerm C# (CSharp) Method

        public void Push_AbstractTerm()
        {
            AMHeap heap = new AMHeap();

            AbstractTerm term = new AbstractTerm();
            heap.Push(term);

            Assert.AreSame(heap.Top(), term);
        }