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