Visitor

Type Parameters:: U - the bottom-up information; D - the top-down information

public interface Visitor<U,D>

A general and easy-to-use interface which allows for type-safe operations on the AcceptanceCondition hierarchy.

Author:: Mathias Hofer

Method Summary

Modifier and Type

Method

Description

U

visit(ConjunctionAcceptanceCondition acc, D topDownData)

U

visit(ContradictionAcceptanceCondition acc, D topDownData)

U

visit(DisjunctionAcceptanceCondition acc, D topDownData)

U

visit(EquivalenceAcceptanceCondition acc, D topDownData)

U

visit(ExclusiveDisjunctionAcceptanceCondition acc, D topDownData)

U

visit(ImplicationAcceptanceCondition acc, D topDownData)

U

visit(NegationAcceptanceCondition acc, D topDownData)

U

visit(TautologyAcceptanceCondition acc, D topDownData)

U

visit(Argument acc, D topDownData)

Method Details
- visit
  
  U visit(TautologyAcceptanceCondition acc, D topDownData)
  
  Parameters:
  
  acc - acc
  
  topDownData - topDownData
  
  Returns:
  
  visit
- visit
  
  U visit(ContradictionAcceptanceCondition acc, D topDownData)
  
  Parameters:
  
  acc - acc
  
  topDownData - topDownData
  
  Returns:
  
  visit
- visit
  
  U visit(ConjunctionAcceptanceCondition acc, D topDownData)
  
  Parameters:
  
  acc - acc
  
  topDownData - topDownData
  
  Returns:
  
  visit
- visit
  
  U visit(DisjunctionAcceptanceCondition acc, D topDownData)
  
  Parameters:
  
  acc - acc
  
  topDownData - topDownData
  
  Returns:
  
  visit
- visit
  
  U visit(EquivalenceAcceptanceCondition acc, D topDownData)
  
  Parameters:
  
  acc - acc
  
  topDownData - topDownData
  
  Returns:
  
  visit
- visit
  
  U visit(ExclusiveDisjunctionAcceptanceCondition acc, D topDownData)
  
  Parameters:
  
  acc - acc
  
  topDownData - topDownData
  
  Returns:
  
  visit
- visit
  
  U visit(ImplicationAcceptanceCondition acc, D topDownData)
  
  Parameters:
  
  acc - acc
  
  topDownData - topDownData
  
  Returns:
  
  visit
- visit
  
  U visit(NegationAcceptanceCondition acc, D topDownData)
  
  Parameters:
  
  acc - acc
  
  topDownData - topDownData
  
  Returns:
  
  visit
- visit
  
  U visit(Argument acc, D topDownData)
  
  Parameters:
  
  acc - acc
  
  topDownData - topDownData
  
  Returns:
  
  visit