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

Updated rustfmt to match the version on the server-CI

Browse Source
This commit is contained in:
Stefan Ellmauthaler 2022-06-21 16:21:07 +02:00
parent 273973f378
commit f99d6171e9
Failed to extract signature
2 changed files with 10 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
flake.nix
View File

@ -35,7 +35,7 @@
RUST_LOG = "debug"; RUST_LOG = "debug";
RUST_BACKTRACE = 1; RUST_BACKTRACE = 1;
buildInputs = [ buildInputs = [
pkgs.rust-bin.nightly.latest.rustfmt pkgs.rust-bin.stable.latest.rustfmt
pkgs.rust-bin.stable.latest.default pkgs.rust-bin.stable.latest.default
pkgs.rust-analyzer pkgs.rust-analyzer
pkgs.cargo-audit pkgs.cargo-audit

16
lib/src/adfbiodivine.rs
View File

@ -327,15 +327,17 @@ impl Adf {
&biodivine_lib_bdd::boolean_expression::BooleanExpression::Const(true), &biodivine_lib_bdd::boolean_expression::BooleanExpression::Const(true),
), ),
|acc, (idx, formula)| { |acc, (idx, formula)| {
acc.and(&formula.iff( acc.and(
&self.varset.eval_expression( &formula.iff(
&biodivine_lib_bdd::boolean_expression::BooleanExpression::Variable( &self.varset.eval_expression(
self.ordering &biodivine_lib_bdd::boolean_expression::BooleanExpression::Variable(
.name(crate::datatypes::Var(idx)) self.ordering
.expect("Variable should exist"), .name(crate::datatypes::Var(idx))
.expect("Variable should exist"),
),
), ),
), ),
)) )
}, },
) )
} }