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

Remove TODO comment

Browse Source
This commit is contained in:
monsterkrampe 2025-06-30 08:32:04 +02:00
parent ae1ca8bacb
commit 479fa7bfbd
No known key found for this signature in database
GPG Key ID: B8ADC1F5A5CE5057
1 changed files with 8 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
server/src/adf.rs
View File

@ -304,18 +304,14 @@ impl From<AF> for AdfParser {
.0 .0
.into_iter() .into_iter()
.map(|attackers| { .map(|attackers| {
attackers.into_iter().fold( attackers.into_iter().fold(Formula::Top, |acc, attacker| {
// TODO: is it correct to use Top here? what if something is not attacked at all? Formula::And(
Formula::Top, Box::new(acc),
|acc, attacker| { Box::new(Formula::Not(Box::new(Formula::Atom(
Formula::And( (attacker + 1).to_string(),
Box::new(acc), )))),
Box::new(Formula::Not(Box::new(Formula::Atom( )
(attacker + 1).to_string(), })
)))),
)
},
)
}) })
.collect(); .collect();
let formulanames = names.clone(); let formulanames = names.clone();