Package owl.ltl.visitors
Interface Visitor<R>
-
- All Known Implementing Classes:
CombineUntilVisitor,Converter,DeduplicationRewriter,LatexPrintVisitor,LtlfToLtlTranslator.LtlfToLtlVisitor,LtlfToLtlTranslator.LtlfToLtlVisitor.PushNegOneDownVisitor,PreprocessorVisitor,PrintVisitor,PropositionalSimplifier,PropositionalVisitor,Rewriter.ToCoSafety,Rewriter.ToSafety,SplitUntilVisitor,SyntacticSimplifier,UnabbreviateVisitor
public interface Visitor<R> extends Function<Formula,R>
-
-
Method Summary
All Methods Instance Methods Default Methods Modifier and Type Method Description default Rapply(Formula formula)default Rvisit(Biconditional biconditional)default Rvisit(BooleanConstant booleanConstant)default Rvisit(Conjunction conjunction)default Rvisit(Disjunction disjunction)default Rvisit(FOperator fOperator)default Rvisit(GOperator gOperator)default Rvisit(Literal literal)default Rvisit(MOperator mOperator)default Rvisit(Negation negation)default Rvisit(ROperator rOperator)default Rvisit(UOperator uOperator)default Rvisit(WOperator wOperator)default Rvisit(XOperator xOperator)
-
-
-
Method Detail
-
visit
default R visit(Biconditional biconditional)
-
visit
default R visit(BooleanConstant booleanConstant)
-
visit
default R visit(Conjunction conjunction)
-
visit
default R visit(Disjunction disjunction)
-
-