Package org.svvrl.goal.core.tran

Class AbstractTranslator<L extends Logic,​A extends Automaton>

java.lang.Object
org.svvrl.goal.core.AbstractAlgorithm
org.svvrl.goal.core.AbstractControllableAlgorithm
org.svvrl.goal.core.AbstractEditableAlgorithm
org.svvrl.goal.core.tran.AbstractTranslator<L,​A>
Type Parameters:
L - the type of the logic
A - the type of the automaton
All Implemented Interfaces:
java.util.EventListener, Algorithm, AlgorithmListener, ControllableAlgorithm, EditableAlgorithm, Translator<L,​A>
Direct Known Subclasses:
CCJ09, CCJ09Translators.LTL2NBW, Couvreur, CouvreurTranslators.LTL2NBW, CouvreurTranslators.LTL2NTGBW, ExtendedCouvreurTranslators.LTL2NBW, ExtendedCouvreurTranslators.LTL2NTGBW, ExtendedLTL2BuchiTranslators.LTL2NBW, ExtendedLTL2BuchiTranslators.LTL2NTGBW, ExtendedModellaTranslators.LTL2LOSNGBW, ExtendedOnTheFlyNGBWBuilder, IncTableauPlusTranslators.LTL2LOSNGBW, IncTableauTranslators.LTL2LOSNGBW, KP02, KP02Translators.QPTL2NBW, LTL2BA, LTL2BATranslators.LTL2NBW, LTL2BATranslators.LTL2NTGBW, LTL2BATranslators.LTL2VWAA, LTL2BATranslators.QPTL2NTGBW, LTL2BATranslators.QPTL2VWAA, LTL2Buchi, LTL2BuchiTranslators.LTL2NBW, LTL2BuchiTranslators.LTL2NTGBW, LTL2LOSNGBWAdapter, LTL2TWVWAA, LTL2VWAA, Modella, ModellaTranslators.LTL2LOSNGBW, ORETranslator, PLTL2BA, PLTL2BATranslators.LTL2NBW, PLTL2BATranslators.LTL2NTGBW, PLTL2BATranslators.LTL2TWVWAA, PLTL2BATranslators.QPTL2NTGBW, PLTL2BATranslators.QPTL2TWVWAA, PMT02, PMT02Translators.ACTL2LOSNGBW, QPTL2ABWFuture, QPTL2BA, QPTL2BACanonical, QPTL2BAFuture, QPTL2BATranslators.CanonicalQPTL2TWACW, QPTL2BATranslators.FutureQPTL2ABW, QPTL2BATranslators.QPTL2NBW, QPTL2NBWByLTL2NBW, QPTL2NGBWByLTL2NGBW, QPTL2TWACWCanonical, RETranslator, Tableau, TableauTranslators.LTL2LOSNGBW, TemporalTesterTranslators.LTL2LOSNGBW, TranslateByDivideAndConquer, TranslateToNBWByNGBW, TranslateToNGBWByLOSNGBW
public abstract class AbstractTranslator<L extends Logic,​A extends Automaton>
extends AbstractEditableAlgorithm
implements Translator<L,​A>
This class provides a default implementation of Translator.
Author:
Ming-Hsien Tsai

  • Constructor Details

    • AbstractTranslator

      public AbstractTranslator​(java.lang.String name)
      Constructs this translator.
      Parameters:
      name - the name of this translator

    • AbstractTranslator

      public AbstractTranslator​(java.lang.String name, Properties options)
      Constructs this translator with custom options.
      Parameters:
      name - the name of this translator
      options - custom options

  • Method Details

    • translate

      protected <O extends Logic,​ U extends Automaton> U translate​(Translator<O,​U> tran, O formula) throws UnsupportedException
      Returns an automaton translated from a specified logic formula by another specified translator as a sub-algorithm of this translator. The options of this translator will be added to the options of the sub-translator.
      Type Parameters:
      O - the type of the logic formula
      U - the type of the translation result of the sub-translator
      Parameters:
      tran - a translator
      formula - a logic formula
      Returns:
      the automaton translated by tran from formula
      Throws:
      UnsupportedException - if the translation of the formula is not supported by the specified translator