Classes for retrieving and managing LTL formulas.
Java 5.0 compliant.