C# (CSharp) HeapState.ToBuilder示例

示例#1

        private ArrayTheorySymbolicHeap(
            ISymbolicHeapContext context,
            Stack <HeapState> stateStack,
            HeapState currentState)
        {
            this.context      = context;
            this.currentState = currentState.ToBuilder();

            foreach (var state in stateStack.Reverse())
            {
                this.stateStack.Push(state);
            }
        }