Package org.svvrl.goal.core.tran

Class TranslateToNGBWByLOSNGBW<T extends Logic>

java.lang.Object
org.svvrl.goal.core.AbstractAlgorithm
org.svvrl.goal.core.AbstractControllableAlgorithm
org.svvrl.goal.core.AbstractEditableAlgorithm
org.svvrl.goal.core.tran.AbstractTranslator<T,​FSA>
org.svvrl.goal.core.tran.TranslateToNGBWByLOSNGBW<T>
Type Parameters:
T - the type of the logic
All Implemented Interfaces:
java.util.EventListener, Algorithm, AlgorithmListener, ControllableAlgorithm, EditableAlgorithm, Translator<T,​FSA>
Direct Known Subclasses:
ExtendedGPVWPlusTranslators.LTL2NGBW, ExtendedGPVWTranslators.LTL2NGBW, ExtendedLTL2AUTPlusTranslators.LTL2NGBW, ExtendedLTL2AUTTranslators.LTL2NGBW, ExtendedModellaTranslators.LTL2NGBW, IncTableauPlusTranslators.LTL2NGBW, IncTableauTranslators.LTL2NGBW, ModellaTranslators.LTL2NGBW, PMT02Translators.ACTL2NGBW, TableauTranslators.LTL2NGBW, TemporalTesterTranslators.LTL2NGBW
public class TranslateToNGBWByLOSNGBW<T extends Logic>
extends AbstractTranslator<T,​FSA>
This is a translator from a logic formula to an equivalent NGBW by utilizing another translator from formulae of that logic to equivalent label-on-state NGBW. It first translates the formula to an equivalent label-on-state NGBW by the underlying translator, and then converts the label-on-state NGBW to an equivalent NGBW.
Author:
Ming-Hsien Tsai

  • Constructor Details

    • TranslateToNGBWByLOSNGBW

      public TranslateToNGBWByLOSNGBW​(Translator<T,​FSA> t)
      Constructs this object to translate a logic formula to an equivalent NGBW with the help of a translator from formulae in the logic to equivalent label-on-state NGBW.
      Parameters:
      t - a translator from formulae in the logic to equivalent label-on-state NGBW

  • Method Details

    • getIntermediateResult

      public Editable getIntermediateResult()
      Description copied from interface: Translator
      Returns the intermediate result of this translator. This method can be used for displaying the intermediate result during the step-by-step translation.
      Returns:
      the intermediate result of this translator

    • translate

      public FSA translate​(T f) throws UnsupportedException
      Description copied from interface: Translator
      Translates a logic formula to an automaton.
      Parameters:
      f - a logic formula to be translate
      Returns:
      the automaton translated from formula
      Throws:
      UnsupportedException - if formula is not supported by this translator

    • newInstance

      public Translator<T,​FSA> newInstance()
      Description copied from interface: Translator
      Creates a new translator instance same as this one.
      Returns:
      a new translator instance same as this one