Package owl.ltl.parser

Class LtlfToLtlTranslator

java.lang.Object

owl.ltl.parser.LtlfToLtlTranslator

public final class LtlfToLtlTranslator
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	LtlfToLtlTranslator.LtlfToLtlVisitor

Method Summary

Modifier and Type	Method	Description
static Formula	translate(Formula in, int tailAtomicProposition)

Methods inherited from class java.lang.Object

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

Method Detail

translate

public static Formula translate(Formula in,
                                int tailAtomicProposition)