Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
ltlvisit
consterm.cc
Find file
Blame
History
Permalink
Speed up computation of constant term on [->] and [=] operators.
· c6a751b9
Alexandre Duret-Lutz
authored
Oct 15, 2010
* src/ltlvisit/consterm.cc: Stop the recursion on [->] and [=].
c6a751b9