public void revert(Originator orig) { orig.revert(mementoHistory.Pop()); }
public void save(Originator orig) { mementoHistory.Push(orig.save()); }