Package org.tweetyproject.arg.bipolar.syntax

Class SetSupport

java.lang.Object
org.tweetyproject.graphs.GeneralEdge<T>
org.tweetyproject.graphs.Edge<T>
org.tweetyproject.graphs.DirectedEdge<BipolarEntity>
org.tweetyproject.arg.bipolar.syntax.SetSupport
All Implemented Interfaces:
BipolarEntity, Support, DungEntity, Formula, Node
public class SetSupport extends DirectedEdge<BipolarEntity> implements Support
This class models a support between a set of arguments and an argument. It comprises of a set of BArgument and is used by bipolar abstract argumentation theories.
Author:
Lars Bengel

  • Constructor Details

    • SetSupport

      public SetSupport(ArgumentSet supporter, BArgument supported)
      Default constructor; initializes the arguments used in this support relation
      Parameters:
      supporter - the supporting set of arguments
      supported - the supported argument

    • SetSupport

      public SetSupport(Collection<BArgument> supporter, BArgument supported)
      initializes the arguments used in this support relation
      Parameters:
      supporter - a collection of arguments
      supported - some argument

    • SetSupport

      public SetSupport(BArgument supporter, BArgument supported)
      initializes the arguments used in this support relation
      Parameters:
      supporter - the supporting argument
      supported - the supported argument

  • Method Details

    • getSupported

      public BArgument getSupported()
      returns the supported argument of this support relation.
      Specified by:
      getSupported in interface Support
      Returns:
      the supported argument of this support relation.

    • getSupporter

      public ArgumentSet getSupporter()
      returns the supporting set of arguments of this support relation.
      Specified by:
      getSupporter in interface Support
      Returns:
      the supporting set of arguments of this support relation.

    • contains

      public boolean contains(BArgument argument)
      Return true if the given argument is in this support relation.
      Parameters:
      argument - some argument
      Returns:
      true if the given argument is in this support relation.

    • toString

      public String toString()
      Specified by:
      toString in interface Support
      Overrides:
      toString in class DirectedEdge<BipolarEntity>

    • equals

      public boolean equals(Object o)
      Overrides:
      equals in class Edge<BipolarEntity>

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Edge<BipolarEntity>

    • contains

      public boolean contains(Object o)
      Specified by:
      contains in interface BipolarEntity

    • getLdoFormula

      public LdoFormula getLdoFormula()
      Description copied from interface: DungEntity
      Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf. [Hunter, Thimm, 2015])
      Specified by:
      getLdoFormula in interface DungEntity
      Returns:
      the logical formula of this entity.

    • getSignature

      public Signature getSignature()
      Description copied from interface: Formula
      Returns the signature of the language of this formula.
      Specified by:
      getSignature in interface Formula
      Returns:
      the signature of the language of this formula.