Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | solver: Remove duplicate method `update_problem`. |
|---|---|
| Downloads: | Tarball | ZIP archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
8d95c5134e4ccc6d2d45ec7e9b88ff01 |
| User & Date: | fifr 2016-10-05 20:14:35.369 |
Context
|
2016-10-05
| ||
| 20:20 | solver: Enlarge vectors when adding new variables. check-in: 039c268628 user: fifr tags: trunk | |
| 20:14 | solver: Remove duplicate method `update_problem`. check-in: 8d95c5134e user: fifr tags: trunk | |
| 20:11 | solver: Do not terminate of problem has been changed. check-in: 3248967d1a user: fifr tags: trunk | |
Changes
Changes to src/solver.rs.
| ︙ | ︙ | |||
509 510 511 512 513 514 515 |
if changed && term == Step::Term { term = Step::Null }
try!(self.update_problem(term));
self.show_info(term);
if term == Step::Term {
break;
}
}
| < < < < < < < < < < < < < < < < < < < < < < < < < < < < < < < | 509 510 511 512 513 514 515 516 517 518 519 520 521 522 |
if changed && term == Step::Term { term = Step::Null }
try!(self.update_problem(term));
self.show_info(term);
if term == Step::Term {
break;
}
}
Ok(())
}
/// Called to update the problem.
///
/// Calling this function typically triggers the problem to
/// separate new constraints depending on the current solution.
|
| ︙ | ︙ |