Package owl.ltl.parser

Class LtlfToLtlTranslator.LtlfToLtlVisitor

java.lang.Object

owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor

All Implemented Interfaces:

Function<Formula,Formula>, Visitor<Formula>

Enclosing class:

LtlfToLtlTranslator

public static class LtlfToLtlTranslator.LtlfToLtlVisitor
extends Object
implements Visitor<Formula>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	LtlfToLtlTranslator.LtlfToLtlVisitor.PushNegOneDownVisitor

Constructor Summary

Constructors

Constructor	Description
LtlfToLtlVisitor(Literal tail)

Method Summary

Modifier and Type	Method	Description
Formula	visit(Biconditional biconditional)
Formula	visit(BooleanConstant booleanConstant)
Formula	visit(Conjunction conjunction)
Formula	visit(Disjunction disjunction)
Formula	visit(FOperator fOperator)
Formula	visit(GOperator gOperator)
Formula	visit(Literal literal)
Formula	visit(MOperator mOperator)
Formula	visit(Negation negation)
Formula	visit(ROperator rOperator)
Formula	visit(UOperator uOperator)
Formula	visit(WOperator wOperator)
Formula	visit(XOperator xOperator)

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.function.Function

andThen, compose

Methods inherited from interface owl.ltl.visitors.Visitor

apply

Constructor Detail

LtlfToLtlVisitor

public LtlfToLtlVisitor(Literal tail)

Method Detail

visit

public Formula visit(Biconditional biconditional)

Specified by:

visit in interface Visitor<Formula>

visit

public Formula visit(BooleanConstant booleanConstant)

Specified by:

visit in interface Visitor<Formula>

visit

public Formula visit(Conjunction conjunction)

Specified by:

visit in interface Visitor<Formula>

visit

public Formula visit(Disjunction disjunction)

Specified by:

visit in interface Visitor<Formula>

visit

public Formula visit(FOperator fOperator)

Specified by:

visit in interface Visitor<Formula>

visit

public Formula visit(GOperator gOperator)

Specified by:

visit in interface Visitor<Formula>

visit

public Formula visit(Literal literal)

Specified by:

visit in interface Visitor<Formula>

visit

public Formula visit(MOperator mOperator)

Specified by:

visit in interface Visitor<Formula>

visit

public Formula visit(ROperator rOperator)

Specified by:

visit in interface Visitor<Formula>

visit

public Formula visit(UOperator uOperator)

Specified by:

visit in interface Visitor<Formula>

visit

public Formula visit(WOperator wOperator)

Specified by:

visit in interface Visitor<Formula>

visit

public Formula visit(XOperator xOperator)

Specified by:

visit in interface Visitor<Formula>

visit

public Formula visit(Negation negation)

Specified by:

visit in interface Visitor<Formula>