Class StoredInt

  • public class StoredInt
    extends IStateInt
    A class implementing backtrackable int.
    • Constructor Detail

      • StoredInt

        public StoredInt​(EnvironmentTrailing env,
                         int i)
        Constructs a stored search with an initial value. Note: this constructor should not be used directly: one should instead use the IEnvironment factory
    • Method Detail

      • set

        public final void set​(int y)
        Modifies the value and stores if needed the former value on the trailing stack.
        Specified by:
        set in class IStateInt