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