Package owl.ltl.visitors
Class PrintVisitor
- java.lang.Object
-
- owl.ltl.visitors.PrintVisitor
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static StringtoString(LabelledFormula formula, boolean parenthesize)Stringvisit(Biconditional biconditional)Stringvisit(BooleanConstant booleanConstant)Stringvisit(Conjunction conjunction)Stringvisit(Disjunction disjunction)Stringvisit(FOperator fOperator)Stringvisit(GOperator gOperator)Stringvisit(Literal literal)Stringvisit(MOperator mOperator)Stringvisit(Negation negation)Stringvisit(ROperator rOperator)Stringvisit(UOperator uOperator)Stringvisit(WOperator wOperator)Stringvisit(XOperator xOperator)
-
-
-
Method Detail
-
toString
public static String toString(LabelledFormula formula, boolean parenthesize)
-
visit
public String visit(Biconditional biconditional)
-
visit
public String visit(BooleanConstant booleanConstant)
-
visit
public String visit(Conjunction conjunction)
-
visit
public String visit(Disjunction disjunction)
-
-