ellmau/adf-obdd
1
0
Fork 0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-19 09:29:36 +01:00
Code Issues Projects Releases Wiki Activity

Fix broken links in rust-doc

Browse Source
This commit is contained in:
Stefan Ellmauthaler 2022-07-26 11:56:51 +02:00
parent 6215573925
commit ea1043620a
Failed to extract signature
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/src/lib.rs
View File

@ -161,10 +161,10 @@ for model in adf.complete() {
} }
``` ```
### Using the [`NoGood`]-learner approach, together with the [`crossbeam-channel`] implementation ### Using the [`NoGood`][crate::nogoods::NoGood]-learner approach, together with the [`crossbeam-channel`] implementation
This can be used to have a worker and a consumer thread to print the results as they are computed. This can be used to have a worker and a consumer thread to print the results as they are computed.
Please note that the [`NoGood`]-learner needs a heuristics function to work. Please note that the [`NoGood`][crate::nogoods::NoGood]-learner needs a heuristics function to work.
The enum [`Heuristic`][adf_bdd::adf::heuristics::Heuristic] allows one to choose a pre-defined heuristic, or implement a `Custom` one. The enum [`Heuristic`][crate::adf::heuristics::Heuristic] allows one to choose a pre-defined heuristic, or implement a `Custom` one.
```rust ```rust
use adf_bdd::parser::AdfParser; use adf_bdd::parser::AdfParser;
use adf_bdd::adf::Adf; use adf_bdd::adf::Adf;

2
lib/src/nogoods.rs
View File

@ -245,7 +245,7 @@ impl NoGoodStore {
} }
} }
/// Draws a (Conclusion)[NoGood], based on the [NoGoodstore] and the given [NoGood]. /// Draws a (Conclusion)[NoGood], based on the [NoGoodStore] and the given [NoGood].
/// *Returns* [None] if there is a conflict /// *Returns* [None] if there is a conflict
pub fn conclusions(&self, nogood: &NoGood) -> Option<NoGood> { pub fn conclusions(&self, nogood: &NoGood) -> Option<NoGood> {
let mut result = nogood.clone(); let mut result = nogood.clone();