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. |