Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | solver: Call `update_problem` only once per iteration. |
|---|---|
| Downloads: | Tarball | ZIP archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
d08662bfb8660722a34e3015dd30ca61 |
| User & Date: | fifr 2016-10-06 09:28:32.527 |
Context
|
2016-10-06
| ||
| 09:29 | cpx: Setting `force_update` to true causes qterm to be recomputed. check-in: 6f64e225ee user: fifr tags: trunk | |
| 09:28 | solver: Call `update_problem` only once per iteration. check-in: d08662bfb8 user: fifr tags: trunk | |
| 06:27 | solver: Add a debug assertion. check-in: f7d5aaf424 user: fifr tags: trunk | |
Changes
Changes to src/solver.rs.
| ︙ | ︙ | |||
503 504 505 506 507 508 509 |
pub fn solve(&mut self) -> Result<()> {
try!(self.init());
for _ in 0..100000 {
let mut term = try!(self.step());
let changed = try!(self.update_problem(term));
// do not stop if the problem has been changed
if changed && term == Step::Term { term = Step::Null }
| < | 503 504 505 506 507 508 509 510 511 512 513 514 515 516 |
pub fn solve(&mut self) -> Result<()> {
try!(self.init());
for _ in 0..100000 {
let mut term = try!(self.step());
let changed = try!(self.update_problem(term));
// do not stop if the problem has been changed
if changed && term == Step::Term { term = Step::Null }
self.show_info(term);
if term == Step::Term {
break;
}
}
Ok(())
}
|
| ︙ | ︙ |