Package org.tweetyproject.arg.adf.syntax.acc

Interface Visitor<U,D>

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 Details

    • visit

      U visit(TautologyAcceptanceCondition acc, D topDownData)
      Visits a tautology acceptance condition
      Parameters:
      acc - acc
      topDownData - topDownData
      Returns:
      visit

    • visit

      U visit(ContradictionAcceptanceCondition acc, D topDownData)
      Visits a contradiction acceptance condition
      Parameters:
      acc - acc
      topDownData - topDownData
      Returns:
      visit

    • visit

      U visit(ConjunctionAcceptanceCondition acc, D topDownData)
      Visits a conjunction acceptance condition
      Parameters:
      acc - acc
      topDownData - topDownData
      Returns:
      visit

    • visit

      U visit(DisjunctionAcceptanceCondition acc, D topDownData)
      Visits a disjunction acceptance condition
      Parameters:
      acc - acc
      topDownData - topDownData
      Returns:
      visit

    • visit

      U visit(EquivalenceAcceptanceCondition acc, D topDownData)
      Visits an equivalence acceptance condition
      Parameters:
      acc - acc
      topDownData - topDownData
      Returns:
      visit

    • visit

      U visit(ExclusiveDisjunctionAcceptanceCondition acc, D topDownData)
      Visits an exclusive disjunction acceptance condition
      Parameters:
      acc - acc
      topDownData - topDownData
      Returns:
      visit

    • visit

      U visit(ImplicationAcceptanceCondition acc, D topDownData)
      Visits an implication acceptance condition
      Parameters:
      acc - acc
      topDownData - topDownData
      Returns:
      visit

    • visit

      U visit(NegationAcceptanceCondition acc, D topDownData)
      Visits a negation acceptance condition
      Parameters:
      acc - acc
      topDownData - topDownData
      Returns:
      visit

    • visit

      U visit(Argument acc, D topDownData)
      Visits an argument
      Parameters:
      acc - acc
      topDownData - topDownData
      Returns:
      visit