Package org.svvrl.goal.core.tran.extendedonthefly

Class ExtendedLTL2AUTTranslators.QPTL2NBW

java.lang.Object

org.svvrl.goal.core.AbstractAlgorithm

org.svvrl.goal.core.AbstractControllableAlgorithm

org.svvrl.goal.core.AbstractEditableAlgorithm

org.svvrl.goal.core.tran.AbstractTranslator<QPTL,FSA>

org.svvrl.goal.core.tran.QPTL2NBWByLTL2NBW

org.svvrl.goal.core.tran.extendedonthefly.ExtendedLTL2AUTTranslators.QPTL2NBW

All Implemented Interfaces:

java.util.EventListener, Algorithm, AlgorithmListener, ControllableAlgorithm, EditableAlgorithm, Translator<QPTL,FSA>

Enclosing class:

ExtendedLTL2AUTTranslators

public static class ExtendedLTL2AUTTranslators.QPTL2NBW
extends QPTL2NBWByLTL2NBW

This is an LTL2AUT translator from QPTL formulae to NBW.

Author:

Ming-Hsien Tsai

Constructor Summary

Constructors

Constructor	Description
QPTL2NBW()	Constructs this translator.

Method Summary

Methods inherited from class org.svvrl.goal.core.tran.QPTL2NBWByLTL2NBW

getIntermediateResult, newInstance, translate

Methods inherited from class org.svvrl.goal.core.tran.AbstractTranslator

translate

Methods inherited from class org.svvrl.goal.core.AbstractControllableAlgorithm

addControllableListener, addSubAlgorithm, doPause, doStage, doStart, doStep, fireReferenceChangedEvent, getInterval, getStages, getStatus, pause, pause, removeControllableListener, removeSubAlgorithm, setInterval, setStages, setStatus, setSynchronizationObject, stagePause, stagePause

Methods inherited from class org.svvrl.goal.core.AbstractAlgorithm

addAlgorithmListener, addProgress, appendStageMessage, appendStepMessage, getAlgorithmListeners, getCurrentProgress, getMaximalProgress, getMinimalProgress, getName, getOptions, getSubAlgorithms, isDeterministicProgress, removeAlgorithmListener, setCurrentProgress, setDeterministicProgress, setMaximalProgress, setMinimalProgress

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.svvrl.goal.core.Algorithm

addAlgorithmListener, getAlgorithmListeners, getOptions, removeAlgorithmListener

Methods inherited from interface org.svvrl.goal.core.AlgorithmListener

appendStageMessage, appendStepMessage, getCurrentProgress, getMaximalProgress, getMinimalProgress, setCurrentProgress, setDeterministicProgress, setMaximalProgress, setMinimalProgress

Methods inherited from interface org.svvrl.goal.core.ControllableAlgorithm

addControllableListener, doPause, doStage, doStart, doStep, getInterval, getStages, getStatus, removeControllableListener, setInterval, setStages, setStatus, setSynchronizationObject

Methods inherited from interface org.svvrl.goal.core.tran.Translator

getName

Constructor Details

QPTL2NBW

public QPTL2NBW()

Constructs this translator.