Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
ltlvisit
contain.cc
Find file
Blame
History
Permalink
* src/ltlvisit/contain.cc (reduce_tau03_visitor): Simplify the
· b1c820af
Alexandre Duret-Lutz
authored
Apr 19, 2007
rules for "a U b" and "a R b", an implication check is enough.
b1c820af