Class StoredDouble

  • public class StoredDouble
    extends IStateDouble
    A class implementing backtrackable double.
    • Constructor Detail

      • StoredDouble

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