Commit 2ed07475 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files


parent dfe74f31
......@@ -137,7 +137,7 @@ namespace spot
// Pick and remove one satisfaction from trans_set_left_.
bdd cube = bdd_satone(trans_set_left_);
trans_set_left_ &= !cube;
// Let this cube grow as much as possible
// Let this cube grow as much as possible.
// (e.g., cube "(!a)&b" taken from "a | (!a)&b" can
// be simplified to "b").
cube = bdd_simplify(cube, cube | neg_trans_set_);
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment