/*
   * Iterate over decisions
   *
   * call-seq:
   *  solver.each_decision { |decision| ... }
   *
   */
  void each_decision()