rename ltl::parse() and ltl::parse_lbt()?
When the namespace is removed by swig, it feels strange to have spot.parse()
to read LTL formulas.
I would suggest to rename ltl::parse()
into ltl::parse_infix_psl()
and ltl::parse_lbt()
into ltl::parse_prefix_ltl()
, those new names also hint about the type of formulas supported.
Along the way, let's also rename ltl::parse_boolean()
into ltl::prase_infix_boolean()
.