E | |
| eval_fmla [Ltl] | Evaluate formula over path. |
F | |
| fmla_as_string [Ltl] | Formula as string |
M | |
| modal_depth [Ltl] | Maximum depth of nested modalities in a formula. |
T | |
| to_atomics [Ltl] | Rewrite formula to use only propositional operators, X, and U. |
| to_nnf [Ltl] | Convert formula to negation normal form. |