Package owl.ltl.visitors

Class PrintVisitor

java.lang.Object

owl.ltl.visitors.PrintVisitor

All Implemented Interfaces:

Function<Formula,String>, Visitor<String>

public final class PrintVisitor
extends Object
implements Visitor<String>

Method Summary

Modifier and Type	Method	Description
static String	toString(LabelledFormula formula, boolean parenthesize)
String	visit(Biconditional biconditional)
String	visit(BooleanConstant booleanConstant)
String	visit(Conjunction conjunction)
String	visit(Disjunction disjunction)
String	visit(FOperator fOperator)
String	visit(GOperator gOperator)
String	visit(Literal literal)
String	visit(MOperator mOperator)
String	visit(Negation negation)
String	visit(ROperator rOperator)
String	visit(UOperator uOperator)
String	visit(WOperator wOperator)
String	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

Method Detail

toString

public static String toString(LabelledFormula formula,
                              boolean parenthesize)

visit

public String visit(Biconditional biconditional)

Specified by:

visit in interface Visitor<String>

visit

public String visit(BooleanConstant booleanConstant)

Specified by:

visit in interface Visitor<String>

visit

public String visit(Conjunction conjunction)

Specified by:

visit in interface Visitor<String>

visit

public String visit(Disjunction disjunction)

Specified by:

visit in interface Visitor<String>

visit

public String visit(FOperator fOperator)

Specified by:

visit in interface Visitor<String>

visit

public String visit(GOperator gOperator)

Specified by:

visit in interface Visitor<String>

visit

public String visit(Negation negation)

Specified by:

visit in interface Visitor<String>

visit

public String visit(Literal literal)

Specified by:

visit in interface Visitor<String>

visit

public String visit(MOperator mOperator)

Specified by:

visit in interface Visitor<String>

visit

public String visit(ROperator rOperator)

Specified by:

visit in interface Visitor<String>

visit

public String visit(UOperator uOperator)

Specified by:

visit in interface Visitor<String>

visit

public String visit(WOperator wOperator)

Specified by:

visit in interface Visitor<String>

visit

public String visit(XOperator xOperator)

Specified by:

visit in interface Visitor<String>