Package org.svvrl.goal.core.tran.modella

Class ModellaTranslators

java.lang.Object
org.svvrl.goal.core.tran.modella.ModellaTranslators
public class ModellaTranslators
extends java.lang.Object
This class provides several translators based on the MoDeLLa approach.
Author:
Ming-Hsien Tsai

  • Nested Class Summary

    Nested Classes 
    Modifier and Type Class Description
    static class  ModellaTranslators.LTL2LOSNBW
    This is a translator from a LTL formula to a label-on-state NBW based on the MoDeLLa approach.
    static class  ModellaTranslators.LTL2LOSNGBW
    This is a translator from a LTL formula to a label-on-state NGBW based on the MoDeLLa approach.
    static class  ModellaTranslators.LTL2NBW
    This is a translator from a LTL formula to an NBW based on the MoDeLLa approach.
    static class  ModellaTranslators.LTL2NGBW
    This is a translator from a LTL formula to an NGBW based on the MoDeLLa approach.
    static class  ModellaTranslators.QPTL2LOSNBW
    This is a translator from a QPTL formula to a label-on-state NBW based on the MoDeLLa approach.
    static class  ModellaTranslators.QPTL2LOSNGBW
    This is a translator from a QPTL formula to a label-on-state NGBW based on the MoDeLLa approach.
    static class  ModellaTranslators.QPTL2NBW
    This is a translator from a QPTL formula to an NBW based on the MoDeLLa approach.
    static class  ModellaTranslators.QPTL2NGBW
    This is a translator from a QPTL formula to an NGBW based on the MoDeLLa approach.

  • Constructor Summary

    Constructors 
    Constructor Description
    ModellaTranslators()  

  • Method Summary

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait