001
002 package lrs.lazyLRSEvaluators;
003
004 import lrs.*;
005 public class LazyIncEval extends ALazyEval
006 {
007 int val;
008 int increment;
009
010 public LazyIncEval(int val, int increment)
011 {
012 this.val = val;
013 this.increment = increment;
014 }
015
016
017 public final LRStruct nextLRS()
018 {
019 val += increment;
020 return makeLRS ();
021 }
022
023 public final LRStruct makeLRS()
024 {
025 return makeLazyLRS(val);
026 }
027 }
028