alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/ltlvisit/simplify.cc: Cosmetics.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-06-20 17:31:03 +02:00
parent ce5ea829bd
commit 9b582691b7
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/ltlvisit/simplify.cc
View file

@ -4715,11 +4715,11 @@ namespace spot
// Often we compare a literals (an atomic_prop or its negation)
// to another literal. The result is necessarily false. To be
// true, the two literals would have to be equal, be we have
// true, the two literals would have to be equal, but we have
// already checked that.
if (f->is_in_nenoform() && g->is_in_nenoform()
&& (is_atomic_prop(f) || is_unop(f, unop::Not))
&& (is_atomic_prop(g) || is_unop(g, unop::Not)))
&& (is_atomic_prop(f) || is_Not(f))
&& (is_atomic_prop(g) || is_Not(g)))
return false;
// Cache lookup