public void Push(LtmdpChosenValue value) { if (_memoryBuffer.SizeInBytes <= Count * sizeof(LtmdpChosenValue)) { _memoryBuffer.Resize(_memoryBuffer.SizeInBytes * 2, zeroMemory: true); _buffer = (LtmdpChosenValue *)_memoryBuffer.Pointer; } _buffer[Count++] = value; }
/// <summary> /// Initializes a new instance. /// </summary> /// <param name="initialCapacity">The initial capacity of the stack.</param> public LtmdpChosenValueStack(int initialCapacity) { _memoryBuffer.Resize(initialCapacity * sizeof(LtmdpChosenValue), zeroMemory: true); _buffer = (LtmdpChosenValue *)_memoryBuffer.Pointer; }