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