-
Alexandre Duret-Lutz authored
* src/ltlast/refformula.cc (ref_formula::ref_count_): New method. * src/ltlast/atomic_prop.hh (atomic_prop::dump_instance): New method. * src/ltlast/atomic_prop.cc (atomic_prop::dump_instance): New method.
314768bf
* src/ltlast/refformula.cc (ref_formula::ref_count_): New method. * src/ltlast/atomic_prop.hh (atomic_prop::dump_instance): New method. * src/ltlast/atomic_prop.cc (atomic_prop::dump_instance): New method.