Package org.svvrl.goal.core.tran.ccj09
-
Class Summary Class Description CCJ09 This class provides an implementation of the translation algorithm in [Cichoń, Jacek and Czubak, Adam and Jasiński, Andrzej: Minimal Büchi Automata for Certain Classes of LTL Formulas.CCJ09Translators This class provides several translators based on the translation algorithm in [CCJ09].CCJ09Translators.LTL2NBW This class provides a translator from LTL to NBW by the translation algorithm in [CCJ09].CCJ09Translators.QPTL2NBW This class provides a translator from QPTL to an NBW by the translation algorithm in [CCJ09].