Visitor

All Known Implementing Classes:

SLMatcher, SLUnparser, VisitorBase
```
public interface Visitor
```
This interface defines all the operations that have to be performed by a particular visitor, when visiting a particular abstract syntax tree. It is implemented by the VisitorBase class.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method and Description
`void`	`visitActionContentExpressionNode(ActionContentExpressionNode node)`
`void`	`visitActionExpressionNode(ActionExpressionNode node)`
`void`	`visitAllNode(AllNode node)`
`void`	`visitAlternativeActionExpressionNode(AlternativeActionExpressionNode node)`
`void`	`visitAndNode(AndNode node)`
`void`	`visitAnyNode(AnyNode node)`
`void`	`visitBelieveNode(BelieveNode node)`
`void`	`visitByteConstantNode(ByteConstantNode node)`
`void`	`visitContentNode(ContentNode node)`
`void`	`visitCountAsNode(CountAsNode node)`
`void`	`visitDateTimeConstantNode(DateTimeConstantNode node)`
`void`	`visitDoneNode(DoneNode node)`
`void`	`visitEqualsNode(EqualsNode node)`
`void`	`visitEquivNode(EquivNode node)`
`void`	`visitExistsNode(ExistsNode node)`
`void`	`visitFactNode(FactNode node)`
`void`	`visitFalseNode(FalseNode node)`
`void`	`visitFeasibleNode(FeasibleNode node)`
`void`	`visitForallNode(ForallNode node)`
`void`	`visitFormulaContentExpressionNode(FormulaContentExpressionNode node)`
`void`	`visitFunctionalTermNode(FunctionalTermNode node)`
`void`	`visitFunctionalTermParamNode(FunctionalTermParamNode node)`
`void`	`visitIdentifyingContentExpressionNode(IdentifyingContentExpressionNode node)`
`void`	`visitImpliesNode(ImpliesNode node)`
`void`	`visitInstitutionalFactNode(InstitutionalFactNode node)`
`void`	`visitIntegerConstantNode(IntegerConstantNode node)`
`void`	`visitIntentionNode(IntentionNode node)`
`void`	`visitIotaNode(IotaNode node)`
`void`	`visitListOfContentExpression(ListOfContentExpression node)`
`void`	`visitListOfFormula(ListOfFormula node)`
`void`	`visitListOfParameter(ListOfParameter node)`
`void`	`visitListOfTerm(ListOfTerm node)`
`void`	`visitListOfVariable(ListOfVariable node)`
`void`	`visitMetaContentExpressionReferenceNode(MetaContentExpressionReferenceNode node)`
`void`	`visitMetaFormulaReferenceNode(MetaFormulaReferenceNode node)`
`void`	`visitMetaSymbolReferenceNode(MetaSymbolReferenceNode node)`
`void`	`visitMetaTermReferenceNode(MetaTermReferenceNode node)`
`void`	`visitMetaVariableReferenceNode(MetaVariableReferenceNode node)`
`void`	`visitNotNode(NotNode node)`
`void`	`visitObligationNode(ObligationNode node)`
`void`	`visitOrNode(OrNode node)`
`void`	`visitParameterNode(ParameterNode node)`
`void`	`visitPersistentGoalNode(PersistentGoalNode node)`
`void`	`visitPredicateNode(PredicateNode node)`
`void`	`visitPropositionSymbolNode(PropositionSymbolNode node)`
`void`	`visitRealConstantNode(RealConstantNode node)`
`void`	`visitRelativeTimeConstantNode(RelativeTimeConstantNode node)`
`void`	`visitResultNode(ResultNode node)`
`void`	`visitSequenceActionExpressionNode(SequenceActionExpressionNode node)`
`void`	`visitSomeNode(SomeNode node)`
`void`	`visitStringConstantNode(StringConstantNode node)`
`void`	`visitSymbolNode(SymbolNode node)`
`void`	`visitTermSequenceNode(TermSequenceNode node)`
`void`	`visitTermSetNode(TermSetNode node)`
`void`	`visitTrueNode(TrueNode node)`
`void`	`visitUncertaintyNode(UncertaintyNode node)`
`void`	`visitVariableNode(VariableNode node)`
`void`	`visitWordConstantNode(WordConstantNode node)`

Method Detail

visitListOfContentExpression

void visitListOfContentExpression(ListOfContentExpression node)

visitListOfFormula

void visitListOfFormula(ListOfFormula node)

visitListOfTerm
```
void visitListOfTerm(ListOfTerm node)
```

visitListOfVariable

void visitListOfVariable(ListOfVariable node)

visitListOfParameter

void visitListOfParameter(ListOfParameter node)

visitContentNode

void visitContentNode(ContentNode node)

visitActionContentExpressionNode

void visitActionContentExpressionNode(ActionContentExpressionNode node)

visitIdentifyingContentExpressionNode

void visitIdentifyingContentExpressionNode(IdentifyingContentExpressionNode node)

visitFormulaContentExpressionNode

void visitFormulaContentExpressionNode(FormulaContentExpressionNode node)

visitMetaContentExpressionReferenceNode

void visitMetaContentExpressionReferenceNode(MetaContentExpressionReferenceNode node)

visitMetaFormulaReferenceNode

void visitMetaFormulaReferenceNode(MetaFormulaReferenceNode node)

visitNotNode
```
void visitNotNode(NotNode node)
```

visitPropositionSymbolNode

void visitPropositionSymbolNode(PropositionSymbolNode node)

visitResultNode
```
void visitResultNode(ResultNode node)
```

visitPredicateNode

void visitPredicateNode(PredicateNode node)

visitTrueNode
```
void visitTrueNode(TrueNode node)
```

visitFalseNode
```
void visitFalseNode(FalseNode node)
```

visitEqualsNode
```
void visitEqualsNode(EqualsNode node)
```

visitObligationNode

void visitObligationNode(ObligationNode node)

visitCountAsNode

void visitCountAsNode(CountAsNode node)

visitInstitutionalFactNode

void visitInstitutionalFactNode(InstitutionalFactNode node)

visitBelieveNode

void visitBelieveNode(BelieveNode node)

visitUncertaintyNode

void visitUncertaintyNode(UncertaintyNode node)

visitIntentionNode

void visitIntentionNode(IntentionNode node)

visitPersistentGoalNode

void visitPersistentGoalNode(PersistentGoalNode node)

visitDoneNode
```
void visitDoneNode(DoneNode node)
```

visitFeasibleNode

void visitFeasibleNode(FeasibleNode node)

visitExistsNode
```
void visitExistsNode(ExistsNode node)
```

visitForallNode
```
void visitForallNode(ForallNode node)
```

visitImpliesNode

void visitImpliesNode(ImpliesNode node)

visitEquivNode
```
void visitEquivNode(EquivNode node)
```

visitOrNode
```
void visitOrNode(OrNode node)
```

visitAndNode
```
void visitAndNode(AndNode node)
```

visitMetaTermReferenceNode

void visitMetaTermReferenceNode(MetaTermReferenceNode node)

visitFactNode
```
void visitFactNode(FactNode node)
```

visitAnyNode
```
void visitAnyNode(AnyNode node)
```

visitIotaNode
```
void visitIotaNode(IotaNode node)
```

visitAllNode
```
void visitAllNode(AllNode node)
```

visitSomeNode
```
void visitSomeNode(SomeNode node)
```

visitVariableNode

void visitVariableNode(VariableNode node)

visitMetaVariableReferenceNode

void visitMetaVariableReferenceNode(MetaVariableReferenceNode node)

visitRealConstantNode

void visitRealConstantNode(RealConstantNode node)

visitDateTimeConstantNode

void visitDateTimeConstantNode(DateTimeConstantNode node)

visitStringConstantNode

void visitStringConstantNode(StringConstantNode node)

visitWordConstantNode

void visitWordConstantNode(WordConstantNode node)

visitByteConstantNode

void visitByteConstantNode(ByteConstantNode node)

visitIntegerConstantNode

void visitIntegerConstantNode(IntegerConstantNode node)

visitRelativeTimeConstantNode

void visitRelativeTimeConstantNode(RelativeTimeConstantNode node)

visitTermSetNode

void visitTermSetNode(TermSetNode node)

visitTermSequenceNode

void visitTermSequenceNode(TermSequenceNode node)

visitActionExpressionNode

void visitActionExpressionNode(ActionExpressionNode node)

visitAlternativeActionExpressionNode

void visitAlternativeActionExpressionNode(AlternativeActionExpressionNode node)

visitSequenceActionExpressionNode

void visitSequenceActionExpressionNode(SequenceActionExpressionNode node)

visitFunctionalTermNode

void visitFunctionalTermNode(FunctionalTermNode node)

visitFunctionalTermParamNode

void visitFunctionalTermParamNode(FunctionalTermParamNode node)

visitParameterNode

void visitParameterNode(ParameterNode node)

visitSymbolNode
```
void visitSymbolNode(SymbolNode node)
```

visitMetaSymbolReferenceNode

void visitMetaSymbolReferenceNode(MetaSymbolReferenceNode node)

Interface Visitor

Method Summary

Method Detail

visitListOfContentExpression

visitListOfFormula

visitListOfTerm

visitListOfVariable

visitListOfParameter

visitContentNode

visitActionContentExpressionNode

visitIdentifyingContentExpressionNode

visitFormulaContentExpressionNode

visitMetaContentExpressionReferenceNode

visitMetaFormulaReferenceNode

visitNotNode

visitPropositionSymbolNode

visitResultNode

visitPredicateNode

visitTrueNode

visitFalseNode

visitEqualsNode

visitObligationNode

visitCountAsNode

visitInstitutionalFactNode

visitBelieveNode

visitUncertaintyNode

visitIntentionNode

visitPersistentGoalNode

visitDoneNode

visitFeasibleNode

visitExistsNode

visitForallNode

visitImpliesNode

visitEquivNode

visitOrNode

visitAndNode

visitMetaTermReferenceNode

visitFactNode

visitAnyNode

visitIotaNode

visitAllNode

visitSomeNode

visitVariableNode

visitMetaVariableReferenceNode

visitRealConstantNode

visitDateTimeConstantNode

visitStringConstantNode

visitWordConstantNode

visitByteConstantNode

visitIntegerConstantNode

visitRelativeTimeConstantNode

visitTermSetNode

visitTermSequenceNode

visitActionExpressionNode

visitAlternativeActionExpressionNode

visitSequenceActionExpressionNode

visitFunctionalTermNode

visitFunctionalTermParamNode

visitParameterNode

visitSymbolNode

visitMetaSymbolReferenceNode