Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbaalgos
powerset.cc
Find file
Blame
History
Permalink
powerset: simplify an implication check
· 2377523c
Alexandre Duret-Lutz
authored
Jan 11, 2015
* src/tgbaalgos/powerset.cc: Use bdd_implies.
2377523c