Class LTL2BATranslators.QPTL2NBW

All Implemented Interfaces:
java.util.EventListener, Algorithm, AlgorithmListener, ControllableAlgorithm, EditableAlgorithm, Translator<QPTL,​FSA>
Enclosing class:
LTL2BATranslators

public static class LTL2BATranslators.QPTL2NBW
extends QPTL2NBWByLTL2NBW
This class provides a translator from a QPTL formula to an NBW.
Author:
Ming-Hsien Tsai
  • Constructor Details

    • QPTL2NBW

      public QPTL2NBW()
      Constructs this translator.