Skip to content
  • Alexandre Duret-Lutz's avatar
    ltl2tgba.html: Display properties of formulas. · 3d41bf9f
    Alexandre Duret-Lutz authored
    * src/ltlast/formula.hh, src/ltlast/formula.cc (list_formula_props):
    New function.
    * wrap/python/spot.i: Adjust to wrap list_formula_props.
    * wrap/python/ajax/ltl2tgba.html: Add option to display properties.
    * wrap/python/ajax/spot.in: Handle ff=p and display properties.
    * wrap/python/ajax/protocol.txt: Adjust.
    3d41bf9f