Package owl.ltl.visitors
Interface BinaryVisitor<P,R>
-
- All Superinterfaces:
BiFunction<Formula,P,R>
- All Known Implementing Classes:
PushNextThroughPropositionalVisitor
public interface BinaryVisitor<P,R> extends BiFunction<Formula,P,R>
-
-
Method Summary
All Methods Instance Methods Default Methods Modifier and Type Method Description default Rapply(Formula formula, P p)default Rvisit(Biconditional biconditional, P parameter)default Rvisit(BooleanConstant booleanConstant, P parameter)default Rvisit(Conjunction conjunction, P parameter)default Rvisit(Disjunction disjunction, P parameter)default Rvisit(FOperator fOperator, P parameter)default Rvisit(GOperator gOperator, P parameter)default Rvisit(Literal literal, P parameter)default Rvisit(MOperator mOperator, P parameter)default Rvisit(Negation negation, P parameter)default Rvisit(ROperator rOperator, P parameter)default Rvisit(UOperator uOperator, P parameter)default Rvisit(WOperator wOperator, P parameter)default Rvisit(XOperator xOperator, P parameter)-
Methods inherited from interface java.util.function.BiFunction
andThen
-
-
-
-
Method Detail
-
apply
default R apply(Formula formula, P p)
- Specified by:
applyin interfaceBiFunction<Formula,P,R>
-
visit
default R visit(Biconditional biconditional, P parameter)
-
visit
default R visit(BooleanConstant booleanConstant, P parameter)
-
visit
default R visit(Conjunction conjunction, P parameter)
-
visit
default R visit(Disjunction disjunction, P parameter)
-
-