Package net.sf.tweety.arg.bipolar.syntax

Class Support

  • All Implemented Interfaces:
    net.sf.tweety.arg.dung.syntax.DungEntity, net.sf.tweety.commons.Formula
    public class Support
extends net.sf.tweety.graphs.DirectedEdge<net.sf.tweety.arg.dung.syntax.Argument>
implements net.sf.tweety.arg.dung.syntax.DungEntity
    This class models a support between two arguments. It comprises of two attributes of Argument and is used by bipolar abstract argumentation theories.
    Author:
    Lars Bengel

    • Constructor Summary

      Constructors 
      Constructor Description
      Support​(net.sf.tweety.arg.dung.syntax.Argument supporter, net.sf.tweety.arg.dung.syntax.Argument supported)
      Default constructor; initializes the two arguments used in this support relation

    • Method Summary

      Modifier and Type Method Description
      boolean contains​(net.sf.tweety.arg.dung.syntax.Argument argument)
      Return true if the given argument is in this support relation.
      boolean equals​(Object o)  
      net.sf.tweety.arg.dung.ldo.syntax.LdoFormula getLdoFormula()  
      net.sf.tweety.commons.Signature getSignature()  
      net.sf.tweety.arg.dung.syntax.Argument getSupported()
      returns the supported argument of this support relation.
      net.sf.tweety.arg.dung.syntax.Argument getSupporter()
      returns the supporting argument of this support relation.
      int hashCode()  
      String toString()  

      • Methods inherited from class net.sf.tweety.graphs.Edge

        getNodeA, getNodeB

    • Constructor Detail

      • Support

        public Support​(net.sf.tweety.arg.dung.syntax.Argument supporter,
               net.sf.tweety.arg.dung.syntax.Argument supported)
        Default constructor; initializes the two arguments used in this support relation
        Parameters:
        supporter - the supporting argument
        supported - the supported argument

    • Method Detail

      • getSupported

        public net.sf.tweety.arg.dung.syntax.Argument getSupported()
        returns the supported argument of this support relation.
        Returns:
        the supported argument of this support relation.

      • getSupporter

        public net.sf.tweety.arg.dung.syntax.Argument getSupporter()
        returns the supporting argument of this support relation.
        Returns:
        the supporting argument of this support relation.

      • contains

        public boolean contains​(net.sf.tweety.arg.dung.syntax.Argument 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.

      • getSignature

        public net.sf.tweety.commons.Signature getSignature()
        Specified by:
        getSignature in interface net.sf.tweety.commons.Formula

      • toString

        public String toString()
        Overrides:
        toString in class net.sf.tweety.graphs.DirectedEdge<net.sf.tweety.arg.dung.syntax.Argument>

      • equals

        public boolean equals​(Object o)
        Overrides:
        equals in class net.sf.tweety.graphs.Edge<net.sf.tweety.arg.dung.syntax.Argument>

      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class net.sf.tweety.graphs.Edge<net.sf.tweety.arg.dung.syntax.Argument>

      • getLdoFormula

        public net.sf.tweety.arg.dung.ldo.syntax.LdoFormula getLdoFormula()
        Specified by:
        getLdoFormula in interface net.sf.tweety.arg.dung.syntax.DungEntity