Package owl.ltl.parser
Class PreprocessorVisitor
- java.lang.Object
-
- owl.ltl.parser.PreprocessorVisitor
-
-
Constructor Summary
Constructors Constructor Description PreprocessorVisitor()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Formulavisit(Biconditional biconditional)Formulavisit(BooleanConstant booleanConstant)Formulavisit(Conjunction conjunction)Formulavisit(Disjunction disjunction)Formulavisit(FOperator fOperator)Formulavisit(GOperator gOperator)Formulavisit(Literal literal)Formulavisit(MOperator mOperator)Formulavisit(Negation negation)Formulavisit(ROperator rOperator)Formulavisit(UOperator uOperator)Formulavisit(WOperator wOperator)Formulavisit(XOperator xOperator)
-
-
-
Method Detail
-
visit
public Formula visit(Biconditional biconditional)
-
visit
public Formula visit(BooleanConstant booleanConstant)
-
visit
public Formula visit(Conjunction conjunction)
-
visit
public Formula visit(Disjunction disjunction)
-
-