public SparseSwitchGenerator(
     IIntMap<int>  intMap,
     IntInterval   possibleBounds,
     IIntFrequency frequency)
 {
     this.strategy = new InlineFirstDTStrategy(this);
     this.intMap = intMap;
     this.possibleBounds = possibleBounds;
     this.frequency = frequency ?? new UniformIntFrequency(possibleBounds);
 }
 public SparseSwitchGenerator(
     IIntMap <int> intMap,
     IntInterval possibleBounds,
     IIntFrequency frequency)
 {
     this.strategy       = new InlineFirstDTStrategy(this);
     this.intMap         = intMap;
     this.possibleBounds = possibleBounds;
     this.frequency      = frequency ?? new UniformIntFrequency(possibleBounds);
 }
 public DecisionProgramWriter(StringBuilder output)
 {
     this.output   = output;
     this.strategy = new InlineFirstDTStrategy(this);
 }
 public DecisionProgramWriter(StringBuilder output)
 {
     this.output = output;
     this.strategy = new InlineFirstDTStrategy(this);
 }