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(Formula formula, List<String> variableMapping)static StringtoString(Formula formula, List<String> variableMapping, boolean parenthesize)static StringtoString(LabelledFormula formula, boolean parenthesize)Stringvisit(Biconditional biconditional)Stringvisit(BooleanConstant booleanConstant)Stringvisit(Conjunction conjunction)Stringvisit(Disjunction disjunction)Stringvisit(FOperator fOperator)Stringvisit(FrequencyG freq)Stringvisit(GOperator gOperator)Stringvisit(Literal literal)Stringvisit(MOperator mOperator)Stringvisit(ROperator rOperator)Stringvisit(UOperator uOperator)Stringvisit(WOperator wOperator)Stringvisit(XOperator xOperator)
-
-
-
Method Detail
-
toString
public static String toString(Formula formula, @Nullable List<String> variableMapping, boolean parenthesize)
-
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)
-
visit
public String visit(FrequencyG freq)
-
-