formula::is_leaf()
@fpl noted that sanity/style.test
suggests replacing foo.size() == 0
by foo.empty()
, but if foo
is an LTL formula, there is no empty()
method, and no equivalent. I suggest we add formula::is_leaf()
.
@fpl noted that sanity/style.test
suggests replacing foo.size() == 0
by foo.empty()
, but if foo
is an LTL formula, there is no empty()
method, and no equivalent. I suggest we add formula::is_leaf()
.