41 SPOT_API std::pair<formula, std::vector<std::string>>
std::pair< formula, std::vector< std::string > > suffix_operator_normal_form(formula f, const std::string prefix)
Helper to rewrite a PSL formula in Suffix Operator Normal Form.
Definition: automata.hh:26