Package owl.ltl.rewriter
Class PullUpXVisitor
- java.lang.Object
-
- owl.ltl.rewriter.PullUpXVisitor
-
- All Implemented Interfaces:
Function<Formula,Formula>,UnaryOperator<Formula>,Visitor<PullUpXVisitor.XFormula>
public class PullUpXVisitor extends Object implements Visitor<PullUpXVisitor.XFormula>, UnaryOperator<Formula>
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classPullUpXVisitor.XFormula
-
Field Summary
Fields Modifier and Type Field Description static PullUpXVisitorINSTANCE
-
Constructor Summary
Constructors Constructor Description PullUpXVisitor()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Formulaapply(Formula formula)PullUpXVisitor.XFormulavisit(Biconditional biconditional)PullUpXVisitor.XFormulavisit(BooleanConstant booleanConstant)PullUpXVisitor.XFormulavisit(Conjunction conjunction)PullUpXVisitor.XFormulavisit(Disjunction disjunction)PullUpXVisitor.XFormulavisit(FOperator fOperator)PullUpXVisitor.XFormulavisit(GOperator gOperator)PullUpXVisitor.XFormulavisit(Literal literal)PullUpXVisitor.XFormulavisit(MOperator mOperator)PullUpXVisitor.XFormulavisit(ROperator rOperator)PullUpXVisitor.XFormulavisit(UOperator uOperator)PullUpXVisitor.XFormulavisit(WOperator wOperator)PullUpXVisitor.XFormulavisit(XOperator xOperator)-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface java.util.function.UnaryOperator
-
-
-
-
Field Detail
-
INSTANCE
public static final PullUpXVisitor INSTANCE
-
-
Method Detail
-
visit
public PullUpXVisitor.XFormula visit(Biconditional biconditional)
- Specified by:
visitin interfaceVisitor<PullUpXVisitor.XFormula>
-
visit
public PullUpXVisitor.XFormula visit(BooleanConstant booleanConstant)
- Specified by:
visitin interfaceVisitor<PullUpXVisitor.XFormula>
-
visit
public PullUpXVisitor.XFormula visit(Conjunction conjunction)
- Specified by:
visitin interfaceVisitor<PullUpXVisitor.XFormula>
-
visit
public PullUpXVisitor.XFormula visit(Disjunction disjunction)
- Specified by:
visitin interfaceVisitor<PullUpXVisitor.XFormula>
-
visit
public PullUpXVisitor.XFormula visit(FOperator fOperator)
- Specified by:
visitin interfaceVisitor<PullUpXVisitor.XFormula>
-
visit
public PullUpXVisitor.XFormula visit(GOperator gOperator)
- Specified by:
visitin interfaceVisitor<PullUpXVisitor.XFormula>
-
visit
public PullUpXVisitor.XFormula visit(Literal literal)
- Specified by:
visitin interfaceVisitor<PullUpXVisitor.XFormula>
-
visit
public PullUpXVisitor.XFormula visit(MOperator mOperator)
- Specified by:
visitin interfaceVisitor<PullUpXVisitor.XFormula>
-
visit
public PullUpXVisitor.XFormula visit(ROperator rOperator)
- Specified by:
visitin interfaceVisitor<PullUpXVisitor.XFormula>
-
visit
public PullUpXVisitor.XFormula visit(UOperator uOperator)
- Specified by:
visitin interfaceVisitor<PullUpXVisitor.XFormula>
-
visit
public PullUpXVisitor.XFormula visit(WOperator wOperator)
- Specified by:
visitin interfaceVisitor<PullUpXVisitor.XFormula>
-
visit
public PullUpXVisitor.XFormula visit(XOperator xOperator)
- Specified by:
visitin interfaceVisitor<PullUpXVisitor.XFormula>
-
-