9 #ifndef IMPKERNEL_CONFIGURATION_SET_H
10 #define IMPKERNEL_CONFIGURATION_SET_H
12 #include <IMP/kernel/kernel_config.h>
17 #include "internal/OwnerPointer.h"
20 #include "internal/utility.h"
23 IMPKERNEL_BEGIN_NAMESPACE
33 mutable Pointer<Model> model_;
34 Pointer<Configuration> base_;
39 void save_configuration();
40 unsigned int get_number_of_configurations()
const;
43 void load_configuration(
int i)
const;
44 void remove_configuration(
unsigned int i);
45 Model *get_model()
const {
55 mutable OwnerPointer<ConfigurationSet> cs_;,
61 << file_name << std::endl);
62 cs_->save_configuration();
66 IMPKERNEL_END_NAMESPACE