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

Class TemporalTesterTranslators

java.lang.Object

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

public class TemporalTesterTranslators
extends java.lang.Object

Translators of Tableau from LTL and QPTL formulae to Omega automata.

Author:

Ming-Hsien Tsai, originally implemented by Wen-Chin Chan

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	TemporalTesterTranslators.LTL2LOSNBW	This is a Temporal Tester translator from LTL formulae to label-on-state NBW.
static class	TemporalTesterTranslators.LTL2LOSNGBW	This is a Temporal Tester translator from LTL formulae to label-on-state NGBW.
static class	TemporalTesterTranslators.LTL2NBW	This is a Temporal Tester translator from LTL formulae to NBW.
static class	TemporalTesterTranslators.LTL2NGBW	This is a Temporal Tester translator from LTL formulae to NGBW.
static class	TemporalTesterTranslators.QPTL2LOSNBW	This is a Temporal Tester translator from QPTL formulae to label-on-state NBW.
static class	TemporalTesterTranslators.QPTL2LOSNGBW	This is a Temporal Tester translator from QPTL formulae to label-on-state NGBW.
static class	TemporalTesterTranslators.QPTL2NBW	This is a Temporal Tester translator from QPTL formulae to NBW.
static class	TemporalTesterTranslators.QPTL2NGBW	This is a Temporal Tester translator from QPTL formulae to NGBW.

Constructor Summary

Constructors

Constructor	Description
TemporalTesterTranslators()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

TemporalTesterTranslators

public TemporalTesterTranslators()