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

Use unoptimised hybrid step for better presentation

Browse Source
This commit is contained in:
Stefan Ellmauthaler 2022-09-06 11:16:57 +02:00 committed by monsterkrampe
parent 92954cf87b
commit b23f342a4e
No known key found for this signature in database
GPG Key ID: B8ADC1F5A5CE5057
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
server/src/main.rs
View File

@ -60,7 +60,7 @@ async fn solve(req_body: web::Json<SolveReqBody>) -> impl Responder {
Parsing::Hybrid => { Parsing::Hybrid => {
let bd_adf = BdAdf::from_parser(&parser); let bd_adf = BdAdf::from_parser(&parser);
log::info!("[Start] translate into naive representation"); log::info!("[Start] translate into naive representation");
let naive_adf = bd_adf.hybrid_step(); let naive_adf = bd_adf.hybrid_step_opt(false);
log::info!("[Done] translate into naive representation"); log::info!("[Done] translate into naive representation");
naive_adf naive_adf