update examples

This commit is contained in:
Corentin Le Molgat
2021-04-02 14:58:16 +02:00
parent 7a4f8e242c
commit baf02eca7e
33 changed files with 381 additions and 380 deletions

View File

@@ -47,7 +47,7 @@ bool CheckVariablePosition(const std::map<int, FapVariable>& data_variables,
int NumberOfAssignedValues(const std::vector<int>& variables);
// Prints the duration of the solving process.
void PrintElapsedTime(const int64 time1, const int64 time2);
void PrintElapsedTime(const int64_t time1, const int64_t time2);
// Prints the solution found by the Hard Solver for feasible instances.
void PrintResultsHard(SolutionCollector* const collector,
@@ -125,7 +125,7 @@ int NumberOfAssignedValues(const std::vector<int>& variables) {
return static_cast<int>(assigned.size());
}
void PrintElapsedTime(const int64 time1, const int64 time2) {
void PrintElapsedTime(const int64_t time1, const int64_t time2) {
LOG(INFO) << "End of solving process.";
LOG(INFO) << "The Solve method took " << (time2 - time1) / 1000.0
<< " seconds.";