public void PopState(int levels = 1)
{
for (int i = 0; i < levels; i++)
{
this.currentState = this.stateStack.Pop().ToBuilder();
}
}
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);
}
}
public ArrayTheorySymbolicHeap(ISymbolicHeapContext context)
{
this.context = context;
this.currentState = HeapState.BasicState.ToBuilder();
}