Package org.svvrl.goal.core.tran
Class TranslateToNBWByNGBW<T extends Logic>
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<T>
- Type Parameters:
T
- the type of the logic
- All Implemented Interfaces:
java.util.EventListener
,Algorithm
,AlgorithmListener
,ControllableAlgorithm
,EditableAlgorithm
,Translator<T,FSA>
- Direct Known Subclasses:
ExtendedGPVWPlusTranslators.LTL2LOSNBW
,ExtendedGPVWPlusTranslators.LTL2NBW
,ExtendedGPVWTranslators.LTL2LOSNBW
,ExtendedGPVWTranslators.LTL2NBW
,ExtendedLTL2AUTPlusTranslators.LTL2LOSNBW
,ExtendedLTL2AUTPlusTranslators.LTL2NBW
,ExtendedLTL2AUTTranslators.LTL2LOSNBW
,ExtendedLTL2AUTTranslators.LTL2NBW
,ExtendedModellaTranslators.LTL2LOSNBW
,ExtendedModellaTranslators.LTL2NBW
,IncTableauPlusTranslators.LTL2LOSNBW
,IncTableauPlusTranslators.LTL2NBW
,IncTableauTranslators.LTL2LOSNBW
,IncTableauTranslators.LTL2NBW
,ModellaTranslators.LTL2LOSNBW
,ModellaTranslators.LTL2NBW
,PMT02Translators.ACTL2LOSNBW
,PMT02Translators.ACTL2NBW
,TableauTranslators.LTL2LOSNBW
,TableauTranslators.LTL2NBW
,TemporalTesterTranslators.LTL2LOSNBW
,TemporalTesterTranslators.LTL2NBW
public class TranslateToNBWByNGBW<T extends Logic> extends AbstractTranslator<T,FSA>
This is a translator from a logic formula to an equivalent NBW by utilizing
another translator from formulae of that logic to equivalent NGBW. It first
translates the formula to an equivalent NGBW by the underlying translator,
then converts the NGBW to an equivalent NBW, and finally simplified the NBW
if the simplification option is on.
- Author:
- Ming-Hsien Tsai
-
Constructor Summary
Constructors Constructor Description TranslateToNBWByNGBW(Translator<T,FSA> t)
Constructs this object to translate a logic formula to an equivalent NBW with the help of a translator from formulae of the logic to equivalent NGBW. -
Method Summary
Modifier and Type Method Description Editable
getIntermediateResult()
Returns the intermediate result of this translator.Translator<T,FSA>
newInstance()
Creates a new translator instance same as this one.FSA
translate(T f)
Translates a logic formula to an automaton.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
-
TranslateToNBWByNGBW
Constructs this object to translate a logic formula to an equivalent NBW with the help of a translator from formulae of the logic to equivalent NGBW.- Parameters:
t
- a translator from formulae in the logic to equivalent NGBW
-
-
Method Details
-
getIntermediateResult
Description copied from interface:Translator
Returns the intermediate result of this translator. This method can be used for displaying the intermediate result during the step-by-step translation.- Returns:
- the intermediate result of this translator
-
translate
Description copied from interface:Translator
Translates a logic formula to an automaton.- Parameters:
f
- a logic formula to be translate- Returns:
- the automaton translated from
formula
- Throws:
UnsupportedException
- ifformula
is not supported by this translator
-
newInstance
Description copied from interface:Translator
Creates a new translator instance same as this one.- Returns:
- a new translator instance same as this one
-