Package org.tweetyproject.arg.adf.syntax

Class Argument

java.lang.Object
org.tweetyproject.arg.dung.syntax.Argument
org.tweetyproject.arg.adf.syntax.Argument
All Implemented Interfaces:
Comparable<Argument>, AcceptanceCondition, DungEntity, Formula, Node
public final class Argument extends Argument implements AcceptanceCondition, Node
An immutable representation of an ADF argument

This argument can also be used as an AcceptanceCondition, since it is its atomic building block.

Author:
Mathias Hofer

  • Constructor Details

    • Argument

      public Argument()
      Creates an unnamed ADF argument.

    • Argument

      public Argument(String name)
      Creates an ADF argument with the given name.
      Parameters:
      name - the name of the argument

  • Method Details

    • arguments

      public Stream<Argument> arguments()
      Description copied from interface: AcceptanceCondition
      Recursively computes all the arguments of this acceptance condition
      Specified by:
      arguments in interface AcceptanceCondition
      Returns:
      recursively computes all the arguments of this acceptance condition

    • contains

      public boolean contains(Argument arg)
      Description copied from interface: AcceptanceCondition
      Checks if the given argument is contained in this acceptance condition.

      Note that this relation is reflexive, hence each argument contains itself.

      Specified by:
      contains in interface AcceptanceCondition
      Parameters:
      arg - some argument
      Returns:
      true if the argument is contained

    • getChildren

      public Set<AcceptanceCondition> getChildren()
      Description copied from interface: AcceptanceCondition
      Returns the children of this acceptance condition
      Specified by:
      getChildren in interface AcceptanceCondition
      Returns:
      an unmodifiable set of children

    • accept

      public <U, D> U accept(Visitor<U,D> visitor, D topDownData)
      Description copied from interface: AcceptanceCondition
      Passes the topDownData to the right visit method and returns the result of the visit method, performs no modifications on them.

      This allows for type-safe traversal through the acceptance condition structure.

      Specified by:
      accept in interface AcceptanceCondition
      Type Parameters:
      U - the bottom-up data
      D - the top-down data
      Parameters:
      visitor - the visitor
      topDownData - the data which is passed from the root of the acceptance condition to the leaf
      Returns:
      the result of the visit method

    • equals

      public boolean equals(Object o)
      Overrides:
      equals in class Argument