Class StoredLong


  • public class StoredLong
    extends IStateLong
    A class implementing backtrackable long.
    • Constructor Detail

      • StoredLong

        public StoredLong​(EnvironmentTrailing env,
                          long 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​(long y)
        Modifies the value and stores if needed the former value on the trailing stack.
        Specified by:
        set in class IStateLong