Class OperationWorld

  • All Implemented Interfaces:
    World

    public class OperationWorld
    extends Object
    implements World
    Since:
    31/05/2016
    Author:
    Fabien Hermenier, Charles Prud'homme
    • Constructor Detail

      • OperationWorld

        public OperationWorld​(int defaultSize,
                              double loadfactor)
    • Method Detail

      • savePreviousState

        public void savePreviousState​(IOperation v)
        Reacts when a StoredInt is modified: push the former value & timestamp on the stacks.
      • revert

        public void revert()
        Description copied from interface: World
        Pop all the stack.
        Specified by:
        revert in interface World
      • clear

        public void clear()
        Description copied from interface: World
        Clean the stack
        Specified by:
        clear in interface World
      • allocated

        public int allocated()
        Description copied from interface: World
        The allocated trail for this world.
        Specified by:
        allocated in interface World
        Returns:
        a positive number
      • used

        public int used()
        Description copied from interface: World
        The amount of values in the stack
        Specified by:
        used in interface World
        Returns:
        a positive integer