Method finals

gecode/minimodel/reg.cpp:822–825

    }

    forceinline int*
    FinalBag::finals(void) {
      return &f[0];
    }

  }