/*
   * Iterate over all attributes
   *
   * call-seq:
   *  solvable.each_attr do { |attribute| ... }
   *
   */
  void each_attr()