Package owl.ltl.visitors
Interface BinaryVisitor<P,R>
-
public interface BinaryVisitor<P,R>
-
-
Method Summary
All Methods Instance Methods Default Methods Modifier and Type Method Description 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(ROperator rOperator, P parameter)default Rvisit(UOperator uOperator, P parameter)default Rvisit(WOperator wOperator, P parameter)default Rvisit(XOperator xOperator, P parameter)
-
-
-
Method Detail
-
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)
-
-