Package owl.ltl.visitors
Class LatexPrintVisitor
- java.lang.Object
-
- owl.ltl.visitors.LatexPrintVisitor
-
-
Constructor Summary
Constructors Constructor Description LatexPrintVisitor(List<String> alphabet)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Stringvisit(BooleanConstant booleanConstant)Stringvisit(Conjunction conjunction)Stringvisit(Disjunction disjunction)Stringvisit(FOperator fOperator)Stringvisit(GOperator gOperator)Stringvisit(Literal literal)Stringvisit(MOperator mOperator)Stringvisit(ROperator rOperator)Stringvisit(UOperator uOperator)Stringvisit(WOperator wOperator)Stringvisit(XOperator xOperator)
-
-
-
Method Detail
-
visit
public String visit(BooleanConstant booleanConstant)
-
visit
public String visit(Conjunction conjunction)
-
visit
public String visit(Disjunction disjunction)
-
-