Package owl.ltl.rewriter
Class PullUpXVisitor
- java.lang.Object
-
- owl.ltl.rewriter.PullUpXVisitor
-
- All Implemented Interfaces:
Function<Formula,PullUpXVisitor.XFormula>
,Visitor<PullUpXVisitor.XFormula>
public final class PullUpXVisitor extends Object implements Visitor<PullUpXVisitor.XFormula>
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
PullUpXVisitor.XFormula
-
Field Summary
Fields Modifier and Type Field Description static PullUpXVisitor
INSTANCE
static UnaryOperator<Formula>
OPERATOR
-
Constructor Summary
Constructors Constructor Description PullUpXVisitor()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description PullUpXVisitor.XFormula
visit(Biconditional biconditional)
PullUpXVisitor.XFormula
visit(BooleanConstant booleanConstant)
PullUpXVisitor.XFormula
visit(Conjunction conjunction)
PullUpXVisitor.XFormula
visit(Disjunction disjunction)
PullUpXVisitor.XFormula
visit(FOperator fOperator)
PullUpXVisitor.XFormula
visit(GOperator gOperator)
PullUpXVisitor.XFormula
visit(Literal literal)
PullUpXVisitor.XFormula
visit(MOperator mOperator)
PullUpXVisitor.XFormula
visit(ROperator rOperator)
PullUpXVisitor.XFormula
visit(UOperator uOperator)
PullUpXVisitor.XFormula
visit(WOperator wOperator)
PullUpXVisitor.XFormula
visit(XOperator xOperator)
-
-
-
Field Detail
-
INSTANCE
public static final PullUpXVisitor INSTANCE
-
OPERATOR
public static final UnaryOperator<Formula> OPERATOR
-
-
Method Detail
-
visit
public PullUpXVisitor.XFormula visit(Biconditional biconditional)
- Specified by:
visit
in interfaceVisitor<PullUpXVisitor.XFormula>
-
visit
public PullUpXVisitor.XFormula visit(BooleanConstant booleanConstant)
- Specified by:
visit
in interfaceVisitor<PullUpXVisitor.XFormula>
-
visit
public PullUpXVisitor.XFormula visit(Conjunction conjunction)
- Specified by:
visit
in interfaceVisitor<PullUpXVisitor.XFormula>
-
visit
public PullUpXVisitor.XFormula visit(Disjunction disjunction)
- Specified by:
visit
in interfaceVisitor<PullUpXVisitor.XFormula>
-
visit
public PullUpXVisitor.XFormula visit(FOperator fOperator)
- Specified by:
visit
in interfaceVisitor<PullUpXVisitor.XFormula>
-
visit
public PullUpXVisitor.XFormula visit(GOperator gOperator)
- Specified by:
visit
in interfaceVisitor<PullUpXVisitor.XFormula>
-
visit
public PullUpXVisitor.XFormula visit(Literal literal)
- Specified by:
visit
in interfaceVisitor<PullUpXVisitor.XFormula>
-
visit
public PullUpXVisitor.XFormula visit(MOperator mOperator)
- Specified by:
visit
in interfaceVisitor<PullUpXVisitor.XFormula>
-
visit
public PullUpXVisitor.XFormula visit(ROperator rOperator)
- Specified by:
visit
in interfaceVisitor<PullUpXVisitor.XFormula>
-
visit
public PullUpXVisitor.XFormula visit(UOperator uOperator)
- Specified by:
visit
in interfaceVisitor<PullUpXVisitor.XFormula>
-
visit
public PullUpXVisitor.XFormula visit(WOperator wOperator)
- Specified by:
visit
in interfaceVisitor<PullUpXVisitor.XFormula>
-
visit
public PullUpXVisitor.XFormula visit(XOperator xOperator)
- Specified by:
visit
in interfaceVisitor<PullUpXVisitor.XFormula>
-
-