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

fixed borrowing issues

Browse Source 
Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
This commit is contained in:
Stefan Ellmauthaler 2021-06-23 17:13:28 +02:00
parent 35918ce36e
commit b4f1dd263e
1 changed files with 10 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
src/adf.rs
View File

@ -58,13 +58,16 @@ impl Adf {
self.stmts.len()
}
pub fn add_ac(&mut self, statement: &str, ac: &str) {
if let Some(stmt) = self.dict.get(statement) {
let stm = *stmt;
let ac_nmbr = self.parseformula(ac);
self.set_ac(stm, ac_nmbr)
}
}
pub fn add_ac(&mut self, statement: &str, ac: &str) {
if let Some(stmt) = self.dict.get(statement) {
self.add_ac_by_number(*stmt, ac)
}
}
fn add_ac_by_number(&mut self, st:usize, ac: &str){
let ac_num = self.parseformula(ac);
self.set_ac(st, ac_num);
}
fn set_ac(&mut self, st: usize, ac: usize) {
self.stmts[st].ac = Some(ac);