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

Update to trigger a new rustfmt

Browse Source 
The rustfmt issue on the CI is not reproducable
This commit is contained in:
Stefan Ellmauthaler 2022-06-21 16:17:36 +02:00
parent 57cdb469a0
commit 273973f378
Failed to extract signature
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
lib/src/adfbiodivine.rs
View File

@ -319,6 +319,7 @@ impl Adf {
.collect::<Vec<Vec<Term>>>() .collect::<Vec<Vec<Term>>>()
} }
/// compute the stable representation
fn stable_representation(&self) -> Bdd { fn stable_representation(&self) -> Bdd {
log::debug!("[Start] stable representation rewriting"); log::debug!("[Start] stable representation rewriting");
self.ac.iter().enumerate().fold( self.ac.iter().enumerate().fold(