• Alexandre Duret-Lutz's avatar
    Add a has_lbt_atomic_props() method to LTL formulas. · b2de0136
    Alexandre Duret-Lutz authored
    * src/ltlast/formula.hh (has_lbt_atomic_props): New method.
    * src/ltlast/formula.cc (printprops): Display it.
    * src/ltlast/atomic_prop.cc: Update it.
    * src/bin/ltlcheck.cc, src/bin/genltl.cc: Use it.
    * doc/tl/tl.tex: Menton has_lbt_atomic_props().
    b2de0136