Package owl.ltl.visitors
Interface Visitor<R>
-
- All Known Implementing Classes:
Converter
,FGSubstitution
,GFSubstitution
,PrintVisitor
,PropositionalVisitor
,PullUpXVisitor
,SubstitutionVisitor
,UnabbreviateVisitor
public interface Visitor<R>
-
-
Method Summary
All Methods Instance Methods Default Methods Modifier and Type Method Description default R
visit(Biconditional biconditional)
default R
visit(BooleanConstant booleanConstant)
default R
visit(Conjunction conjunction)
default R
visit(Disjunction disjunction)
default R
visit(FOperator fOperator)
default R
visit(FrequencyG freq)
default R
visit(GOperator gOperator)
default R
visit(Literal literal)
default R
visit(MOperator mOperator)
default R
visit(ROperator rOperator)
default R
visit(UOperator uOperator)
default R
visit(WOperator wOperator)
default R
visit(XOperator xOperator)
-
-
-
Method Detail
-
visit
default R visit(Biconditional biconditional)
-
visit
default R visit(BooleanConstant booleanConstant)
-
visit
default R visit(Conjunction conjunction)
-
visit
default R visit(Disjunction disjunction)
-
visit
default R visit(FrequencyG freq)
-
-