Package org.svvrl.goal.core

Interface Algorithm

All Superinterfaces:

AlgorithmListener, java.util.EventListener

All Known Subinterfaces:

ComplementConstruction<I,O>, ControllableAlgorithm, ControllableGameSolver<T>, Conversion<I,O>, EditableAlgorithm, GameSolver<T>, SimpleParityGameSolver, Translator<T,A>

All Known Implementing Classes:

AbstractAlgorithm, AbstractComplementConstruction, AbstractControllableAlgorithm, AbstractControllableGameSolver, AbstractEditableAlgorithm, AbstractGALayout, AbstractGameSolver, AbstractOnTheFlyContainment, AbstractSliceComplement, AbstractTranslator, AltStyleConversion, Aperiodic, BigStepSolver, CCJ09, CCJ09Translators.LTL2NBW, CCJ09Translators.QPTL2NBW, ChainedConversion, ChainedGameConversion, ClassicalBuchiSolver, ClassicComplement, Containment, Couvreur, CouvreurTranslators.LTL2NBW, CouvreurTranslators.LTL2NTGBW, CouvreurTranslators.QPTL2NBW, CouvreurTranslators.QPTL2NTGBW, DBW2ComplementDCW, DCW2ComplementDBW, DCW2NBW, DeadEndSolver, Degeneralizer, DelayedSimulationOptimizer, DeterministicComplementConstruction, DeterminizationToDBWByDEK07, DeterminizationToWDBWByDEK07, DMW2ComplementDMW, DMW2DBW, DMW2DPW, DMW2DRW, DMW2DSW, DNFABW2NBW, DominionDecompositionSolver, DPW2ComplementDPW, DRW2ComplementDSW, DSW2ComplementDRW, ElementaryCycleFinder, ElementaryCycleGenerator, Equivalence, ExtendedCouvreur, ExtendedCouvreurTranslators.LTL2NBW, ExtendedCouvreurTranslators.LTL2NTGBW, ExtendedCouvreurTranslators.QPTL2NBW, ExtendedCouvreurTranslators.QPTL2NTGBW, ExtendedGPVWPlusTranslators.LTL2LOSNBW, ExtendedGPVWPlusTranslators.LTL2LOSNGBW, ExtendedGPVWPlusTranslators.LTL2NBW, ExtendedGPVWPlusTranslators.LTL2NGBW, ExtendedGPVWPlusTranslators.QPTL2LOSNBW, ExtendedGPVWPlusTranslators.QPTL2LOSNGBW, ExtendedGPVWPlusTranslators.QPTL2NBW, ExtendedGPVWPlusTranslators.QPTL2NGBW, ExtendedGPVWTranslators.LTL2LOSNBW, ExtendedGPVWTranslators.LTL2LOSNGBW, ExtendedGPVWTranslators.LTL2NBW, ExtendedGPVWTranslators.LTL2NGBW, ExtendedGPVWTranslators.QPTL2LOSNBW, ExtendedGPVWTranslators.QPTL2LOSNGBW, ExtendedGPVWTranslators.QPTL2NBW, ExtendedGPVWTranslators.QPTL2NGBW, ExtendedLTL2AUTPlusTranslators.LTL2LOSNBW, ExtendedLTL2AUTPlusTranslators.LTL2LOSNGBW, ExtendedLTL2AUTPlusTranslators.LTL2NBW, ExtendedLTL2AUTPlusTranslators.LTL2NGBW, ExtendedLTL2AUTPlusTranslators.QPTL2LOSNBW, ExtendedLTL2AUTPlusTranslators.QPTL2LOSNGBW, ExtendedLTL2AUTPlusTranslators.QPTL2NBW, ExtendedLTL2AUTPlusTranslators.QPTL2NGBW, ExtendedLTL2AUTTranslators.LTL2LOSNBW, ExtendedLTL2AUTTranslators.LTL2LOSNGBW, ExtendedLTL2AUTTranslators.LTL2NBW, ExtendedLTL2AUTTranslators.LTL2NGBW, ExtendedLTL2AUTTranslators.QPTL2LOSNBW, ExtendedLTL2AUTTranslators.QPTL2LOSNGBW, ExtendedLTL2AUTTranslators.QPTL2NBW, ExtendedLTL2AUTTranslators.QPTL2NGBW, ExtendedLTL2Buchi, ExtendedLTL2BuchiTranslators.LTL2NBW, ExtendedLTL2BuchiTranslators.LTL2NTGBW, ExtendedLTL2BuchiTranslators.QPTL2NBW, ExtendedLTL2BuchiTranslators.QPTL2NTGBW, ExtendedModella, ExtendedModellaTranslators.LTL2LOSNBW, ExtendedModellaTranslators.LTL2LOSNGBW, ExtendedModellaTranslators.LTL2NBW, ExtendedModellaTranslators.LTL2NGBW, ExtendedModellaTranslators.QPTL2LOSNBW, ExtendedModellaTranslators.QPTL2LOSNGBW, ExtendedModellaTranslators.QPTL2NBW, ExtendedModellaTranslators.QPTL2NGBW, ExtendedOnTheFlyNGBWBuilder, FairSimulationOptimizer, ForceScanAlgorithm.FSAImpl, ForceTransferAlgorithm.FTAImpl, FRLayout.FRImpl, FSA2AltAutomaton, FSA2DBWByBK09, FSA2DBWByLandweber, FSA2Game, FSA2NMW, Game2NMG, GameConversion, GameSolverWrapper, GEMLayout.GEMImpl, GlobalOptimizationSolver, HierarchyConstruction, ImprovedPushForceScanAlgorithm.IPFSAImpl, IncTableauPlusTranslators.LTL2LOSNBW, IncTableauPlusTranslators.LTL2LOSNGBW, IncTableauPlusTranslators.LTL2NBW, IncTableauPlusTranslators.LTL2NGBW, IncTableauPlusTranslators.QPTL2LOSNBW, IncTableauPlusTranslators.QPTL2LOSNGBW, IncTableauPlusTranslators.QPTL2NBW, IncTableauPlusTranslators.QPTL2NGBW, IncTableauTranslators.LTL2LOSNBW, IncTableauTranslators.LTL2LOSNGBW, IncTableauTranslators.LTL2NBW, IncTableauTranslators.LTL2NGBW, IncTableauTranslators.QPTL2LOSNBW, IncTableauTranslators.QPTL2LOSNGBW, IncTableauTranslators.QPTL2NBW, IncTableauTranslators.QPTL2NGBW, ISOMLayout.ISOMImpl, KP02, KP02Translators.QPTL2NBW, KurshanConstruction, LTL2BA, LTL2BATranslators.LTL2NBW, LTL2BATranslators.LTL2NTGBW, LTL2BATranslators.LTL2VWAA, LTL2BATranslators.QPTL2NBW, LTL2BATranslators.QPTL2NTGBW, LTL2BATranslators.QPTL2VWAA, LTL2Buchi, LTL2BuchiTranslators.LTL2NBW, LTL2BuchiTranslators.LTL2NTGBW, LTL2BuchiTranslators.QPTL2NBW, LTL2BuchiTranslators.QPTL2NTGBW, LTL2LOSNGBWAdapter, LTL2TWVWAA, LTL2VWAA, LTLPastFutureSeparator, McNaughtonZielonkaSolver, Modella, ModellaTranslators.LTL2LOSNBW, ModellaTranslators.LTL2LOSNGBW, ModellaTranslators.LTL2NBW, ModellaTranslators.LTL2NGBW, ModellaTranslators.QPTL2LOSNBW, ModellaTranslators.QPTL2LOSNGBW, ModellaTranslators.QPTL2NBW, ModellaTranslators.QPTL2NGBW, ModifiedSafraConstruction, ModifiedSafraContainment, MSContainment, MSContainment.MSContainmentImpl, MullerSchuppConstruction, NBG2NMG, NBG2NPG, NBW2ComplementUCW, NBW2DCW, NBW2DCW.NBW2DCWImpl, NBW2DPW, NBW2DRW, NBW2NCW, NBW2NCW.NBW2NCWImpl, NBW2NGBW, NBW2NMW, NBW2NPW, NBW2NRW, NBW2NSW, NBW2NTBW, NBW2SDBW, NCG2NMG, NCW2ComplementUBW, NCW2DCW, NCW2NMW, NFW2DFW, NGBG2NMG, NGBW2NBW, NGBW2NBWSet, NGBW2NMW, NMG2NPG, NMW2NBW, NPG2NMG, NPW2NBW, NPW2NMW, NPW2NRW, NPW2NSW, NRG2NMG, NRW2NBW, NRW2NMW, NSG2NMG, NSW2NBW, NSW2NBW2, NSW2NGBW, NSW2NMW, NTBW2NTGBW, NTGBW2NBW, NTGBW2NBW, NTGBW2NGBW, OmegaUtil.CycleFinder, OREExtractor, ORETranslator, PitermanConstruction, PitermanContainment, PitermanContainment.PitermanContainmentImpl, PLTL2BA, PLTL2BATranslators.LTL2NBW, PLTL2BATranslators.LTL2NTGBW, PLTL2BATranslators.LTL2TWVWAA, PLTL2BATranslators.QPTL2NBW, PLTL2BATranslators.QPTL2NTGBW, PLTL2BATranslators.QPTL2TWVWAA, PMT02, PMT02Translators.ACTL2LOSNBW, PMT02Translators.ACTL2LOSNGBW, PMT02Translators.ACTL2NBW, PMT02Translators.ACTL2NGBW, Product, ProgressMeasureConstruction, PruningFairSets, QPTL2ABWFuture, QPTL2BA, QPTL2BACanonical, QPTL2BAFuture, QPTL2BATranslators.CanonicalQPTL2TWACW, QPTL2BATranslators.FutureQPTL2ABW, QPTL2BATranslators.QPTL2NBW, QPTL2NBWByLTL2NBW, QPTL2NGBWByLTL2NGBW, QPTL2TWACWCanonical, QPTLPastFutureSeparator, RabinIndex, RamseyConstruction, RankConstruction, ReachabilitySolver, RecursiveSolver, REExtractor, Replacement, RETranslator, ReverseNFW, SafraConstruction, SafraContainment, SafraContainment.SafraContainmentImpl, SALayout.SAImpl, ScheweConstruction, SDBWConstruction, SemanticDeterminism, SemanticDeterminismByLandweber, SimpleDeadEndSolver, SimpleMcNaughtonZielonkaSolver, SimulationOptimizer, SliceAntichain, SliceAntichain.SliceContainmentImpl, SliceConstruction, SliceContainment, SliceContainment.SliceContainmentImpl, SliceKWConstruction, SliceVWConstruction, SmallProgressMeasureSolver, Subset, Tableau, TableauTranslators.LTL2LOSNBW, TableauTranslators.LTL2LOSNGBW, TableauTranslators.LTL2NBW, TableauTranslators.LTL2NGBW, TableauTranslators.QPTL2LOSNBW, TableauTranslators.QPTL2LOSNGBW, TableauTranslators.QPTL2NBW, TableauTranslators.QPTL2NGBW, TemporalHierarchyClassification, TemporalTesterTranslators.LTL2LOSNBW, TemporalTesterTranslators.LTL2LOSNGBW, TemporalTesterTranslators.LTL2NBW, TemporalTesterTranslators.LTL2NGBW, TemporalTesterTranslators.QPTL2LOSNBW, TemporalTesterTranslators.QPTL2LOSNGBW, TemporalTesterTranslators.QPTL2NBW, TemporalTesterTranslators.QPTL2NGBW, TimGALayout.TimGAImpl, TranslateByDivideAndConquer, TranslateToNBWByNGBW, TranslateToNGBWByLOSNGBW, TWVWAA2NTGBW, VWAA2NTGBW, WAAConstruction, WAPAConstruction

public interface Algorithm
extends AlgorithmListener

This interface defines algorithms. An algorithm can be configured by custom options. Algorithm listeners can receive progress and actions made by an algorithm.

Author:

Ming-Hsien Tsai

Method Summary

Modifier and Type	Method	Description
void	addAlgorithmListener(AlgorithmListener listener)	Adds an algorithm listener.
AlgorithmListener[]	getAlgorithmListeners()	Returns all algorithm listeners.
Properties	getOptions()	Returns the options of this algorithm.
void	removeAlgorithmListener(AlgorithmListener listener)	Removes an algorithm listener.

Methods inherited from interface org.svvrl.goal.core.AlgorithmListener

appendStageMessage, appendStepMessage, getCurrentProgress, getMaximalProgress, getMinimalProgress, setCurrentProgress, setDeterministicProgress, setMaximalProgress, setMinimalProgress

Method Details

getOptions

Properties getOptions()

Returns the options of this algorithm. If there is no option, an empty options should be returned.

Returns:

the options of this algorithm

addAlgorithmListener

void addAlgorithmListener(AlgorithmListener listener)

Adds an algorithm listener.

Parameters:

listener - an algorithm listener to be inserted

removeAlgorithmListener

void removeAlgorithmListener(AlgorithmListener listener)

Removes an algorithm listener.

Parameters:

listener - an algorithm listener to be removed

getAlgorithmListeners

AlgorithmListener[] getAlgorithmListeners()

Returns all algorithm listeners.

Returns:

all algorithm listeners