Visitor<java.util.Set<UnaryModalOperator>>
public class TopMostOperatorVisitor extends java.lang.Object implements Visitor<java.util.Set<UnaryModalOperator>>
Constructor | Description |
---|---|
TopMostOperatorVisitor() |
Modifier and Type | Method | Description |
---|---|---|
java.util.Set<UnaryModalOperator> |
visit(BooleanConstant b) |
|
java.util.Set<UnaryModalOperator> |
visit(Conjunction conjunction) |
|
java.util.Set<UnaryModalOperator> |
visit(Disjunction disjunction) |
|
java.util.Set<UnaryModalOperator> |
visit(FOperator fOperator) |
|
java.util.Set<UnaryModalOperator> |
visit(FrequencyG freq) |
|
java.util.Set<UnaryModalOperator> |
visit(GOperator gOperator) |
|
java.util.Set<UnaryModalOperator> |
visit(Literal literal) |
|
java.util.Set<UnaryModalOperator> |
visit(MOperator mOperator) |
|
java.util.Set<UnaryModalOperator> |
visit(ROperator rOperator) |
|
java.util.Set<UnaryModalOperator> |
visit(UOperator uOperator) |
|
java.util.Set<UnaryModalOperator> |
visit(WOperator wOperator) |
|
java.util.Set<UnaryModalOperator> |
visit(XOperator xOperator) |
public java.util.Set<UnaryModalOperator> visit(MOperator mOperator)
visit
in interface Visitor<java.util.Set<UnaryModalOperator>>
public java.util.Set<UnaryModalOperator> visit(ROperator rOperator)
visit
in interface Visitor<java.util.Set<UnaryModalOperator>>
public java.util.Set<UnaryModalOperator> visit(WOperator wOperator)
visit
in interface Visitor<java.util.Set<UnaryModalOperator>>
public java.util.Set<UnaryModalOperator> visit(BooleanConstant b)
visit
in interface Visitor<java.util.Set<UnaryModalOperator>>
public java.util.Set<UnaryModalOperator> visit(Conjunction conjunction)
visit
in interface Visitor<java.util.Set<UnaryModalOperator>>
public java.util.Set<UnaryModalOperator> visit(Disjunction disjunction)
visit
in interface Visitor<java.util.Set<UnaryModalOperator>>
public java.util.Set<UnaryModalOperator> visit(FOperator fOperator)
visit
in interface Visitor<java.util.Set<UnaryModalOperator>>
public java.util.Set<UnaryModalOperator> visit(GOperator gOperator)
visit
in interface Visitor<java.util.Set<UnaryModalOperator>>
public java.util.Set<UnaryModalOperator> visit(FrequencyG freq)
visit
in interface Visitor<java.util.Set<UnaryModalOperator>>
public java.util.Set<UnaryModalOperator> visit(Literal literal)
visit
in interface Visitor<java.util.Set<UnaryModalOperator>>
public java.util.Set<UnaryModalOperator> visit(UOperator uOperator)
visit
in interface Visitor<java.util.Set<UnaryModalOperator>>
public java.util.Set<UnaryModalOperator> visit(XOperator xOperator)
visit
in interface Visitor<java.util.Set<UnaryModalOperator>>