Package org.svvrl.goal.core.tran.qptl2ba

Class QPTL2BA

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.qptl2ba.QPTL2BA

All Implemented Interfaces:

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

public class QPTL2BA
extends AbstractTranslator<QPTL,FSA>

This translator is a wrapper of QPTL2BAFuture and QPTL2BACanonical.

Author:

Ming-Hsien Tsai

Field Summary

Fields

Modifier and Type	Field	Description
static java.lang.String	NAME	The name of this translation algorithm.

Constructor Summary

Constructors

Constructor	Description
QPTL2BA()	Constructs this translation algorithm with default options.
QPTL2BA(Properties options)	Constructs this translation algorithm with custom options.
QPTL2BA(Properties options, Translator<LTL,FSA> tran)	Constructs this translation algorithm with custom options and an underlying LTL translation algorithm.

Method Summary

Modifier and Type	Method	Description
Editable	getIntermediateResult()	Returns the intermediate result of this translator.
Translator<QPTL,FSA>	newInstance()	Creates a new translator instance same as this one.
FSA	translate(QPTL formula)	Translates a logic formula to an automaton.

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

Field Details

NAME

public static final java.lang.String NAME

The name of this translation algorithm.

See Also:

Constant Field Values

Constructor Details

QPTL2BA

public QPTL2BA()

Constructs this translation algorithm with default options.

QPTL2BA

public QPTL2BA(Properties options)

Constructs this translation algorithm with custom options.

Parameters:

options - custom options

QPTL2BA

public QPTL2BA(Properties options, Translator<LTL,FSA> tran)

Constructs this translation algorithm with custom options and an underlying LTL translation algorithm.

Parameters:

options - custom options

tran - an LTL translation algorithm

Method Details

getIntermediateResult

public Editable 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

public FSA translate(QPTL formula) throws UnsupportedException

Description copied from interface: Translator

Translates a logic formula to an automaton.

Parameters:

formula - a logic formula to be translate

Returns:

the automaton translated from formula

Throws:

UnsupportedException - if formula is not supported by this translator

newInstance

public Translator<QPTL,FSA> newInstance()

Description copied from interface: Translator

Creates a new translator instance same as this one.

Returns:

a new translator instance same as this one