Package owl.ltl.rewriter
Class PushNextThroughPropositionalVisitor
- java.lang.Object
-
- owl.ltl.rewriter.PushNextThroughPropositionalVisitor
-
- All Implemented Interfaces:
BiFunction<Formula,Integer,Formula>,BinaryVisitor<Integer,Formula>
public final class PushNextThroughPropositionalVisitor extends Object implements BinaryVisitor<Integer,Formula>
-
-
Field Summary
Fields Modifier and Type Field Description static PushNextThroughPropositionalVisitorINSTANCE
-
Constructor Summary
Constructors Constructor Description PushNextThroughPropositionalVisitor()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static Formulaapply(Formula formula)static LabelledFormulaapply(LabelledFormula formula)Formulavisit(Biconditional biconditional, Integer parameter)Formulavisit(BooleanConstant booleanConstant, Integer parameter)Formulavisit(Conjunction conjunction, Integer parameter)Formulavisit(Disjunction disjunction, Integer parameter)Formulavisit(FOperator fOperator, Integer parameter)Formulavisit(GOperator gOperator, Integer parameter)Formulavisit(Literal literal, Integer parameter)Formulavisit(MOperator mOperator, Integer parameter)Formulavisit(ROperator rOperator, Integer parameter)Formulavisit(UOperator uOperator, Integer parameter)Formulavisit(WOperator wOperator, Integer parameter)Formulavisit(XOperator xOperator, Integer parameter)-
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.BiFunction
andThen
-
Methods inherited from interface owl.ltl.visitors.BinaryVisitor
apply, visit
-
-
-
-
Field Detail
-
INSTANCE
public static final PushNextThroughPropositionalVisitor INSTANCE
-
-
Method Detail
-
apply
public static LabelledFormula apply(LabelledFormula formula)
-
visit
public Formula visit(Biconditional biconditional, Integer parameter)
- Specified by:
visitin interfaceBinaryVisitor<Integer,Formula>
-
visit
public Formula visit(BooleanConstant booleanConstant, Integer parameter)
- Specified by:
visitin interfaceBinaryVisitor<Integer,Formula>
-
visit
public Formula visit(Conjunction conjunction, Integer parameter)
- Specified by:
visitin interfaceBinaryVisitor<Integer,Formula>
-
visit
public Formula visit(Disjunction disjunction, Integer parameter)
- Specified by:
visitin interfaceBinaryVisitor<Integer,Formula>
-
visit
public Formula visit(FOperator fOperator, Integer parameter)
- Specified by:
visitin interfaceBinaryVisitor<Integer,Formula>
-
visit
public Formula visit(GOperator gOperator, Integer parameter)
- Specified by:
visitin interfaceBinaryVisitor<Integer,Formula>
-
visit
public Formula visit(Literal literal, Integer parameter)
- Specified by:
visitin interfaceBinaryVisitor<Integer,Formula>
-
visit
public Formula visit(MOperator mOperator, Integer parameter)
- Specified by:
visitin interfaceBinaryVisitor<Integer,Formula>
-
visit
public Formula visit(UOperator uOperator, Integer parameter)
- Specified by:
visitin interfaceBinaryVisitor<Integer,Formula>
-
visit
public Formula visit(ROperator rOperator, Integer parameter)
- Specified by:
visitin interfaceBinaryVisitor<Integer,Formula>
-
visit
public Formula visit(WOperator wOperator, Integer parameter)
- Specified by:
visitin interfaceBinaryVisitor<Integer,Formula>
-
-