Package org.svvrl.goal.core.tran.tester
Class TemporalTesterTranslators.QPTL2LOSNBW
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.tester.TemporalTesterTranslators.QPTL2LOSNBW
- All Implemented Interfaces:
java.util.EventListener
,Algorithm
,AlgorithmListener
,ControllableAlgorithm
,EditableAlgorithm
,Translator<QPTL,FSA>
- Enclosing class:
- TemporalTesterTranslators
public static class TemporalTesterTranslators.QPTL2LOSNBW extends QPTL2NBWByLTL2NBW
This is a Temporal Tester translator from QPTL formulae to label-on-state
NBW.
- Author:
- Ming-Hsien Tsai
-
Constructor Summary
Constructors Constructor Description QPTL2LOSNBW()
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.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
-
Constructor Details
-
QPTL2LOSNBW
public QPTL2LOSNBW()Constructs this translator.
-