001
002 package lrs.lazyLRSEvaluators;
003
004 import lrs.*;
005
006 public class LazyConstantEval extends ALazyEval
007 {
008 int val;
009
010 /**
011 * @param val
012 * @SBGen Constructor assigns val
013 */
014 public LazyConstantEval(int val)
015 {
016 // SBgen: Assign variable
017 this.val = val;
018 }
019 public final LRStruct nextLRS()
020 {
021 return (makeLRS ());
022 }
023
024 /**
025 * @return
026 */
027 public final LRStruct makeLRS()
028 {
029 return makeLazyLRS (val);
030 }
031 }
032