| 1110 | class BuildTimeController { |
| 1111 | public: |
| 1112 | BuildTimeController(GraphIndex &graph, NeighborhoodGraph::Property &prop) : property(prop) { |
| 1113 | noOfInsertedObjects = graph.objectSpace->getRepository().size() - graph.repository.size(); |
| 1114 | interval = 10000; |
| 1115 | count = interval; |
| 1116 | edgeSizeSave = property.edgeSizeForCreation; |
| 1117 | insertionRadiusCoefficientSave = property.insertionRadiusCoefficient; |
| 1118 | buildTimeLimit = property.buildTimeLimit; |
| 1119 | time = 0.0; |
| 1120 | timer.start(); |
| 1121 | } |
| 1122 | ~BuildTimeController() { |
| 1123 | property.edgeSizeForCreation = edgeSizeSave; |
| 1124 | property.insertionRadiusCoefficient = insertionRadiusCoefficientSave; |