Package org.svvrl.goal.core.tran.tester

Class TemporalTesterTranslators.LTL2NGBW

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.TranslateToNGBWByLOSNGBW<LTL>

org.svvrl.goal.core.tran.tester.TemporalTesterTranslators.LTL2NGBW

All Implemented Interfaces:

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

Enclosing class:

TemporalTesterTranslators

public static class TemporalTesterTranslators.LTL2NGBW
extends TranslateToNGBWByLOSNGBW<LTL>

This is a Temporal Tester translator from LTL formulae to NGBW.

Author:

Ming-Hsien Tsai

Constructor Summary

Constructors

Constructor	Description
LTL2NGBW()	Constructs this translator.

Method Summary

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

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

LTL2NGBW

public LTL2NGBW()

Constructs this translator.