Class Argument

  • All Implemented Interfaces:
    DungEntity, net.sf.tweety.commons.Formula, net.sf.tweety.graphs.Node

    public class Argument
    extends Object
    implements DungEntity, net.sf.tweety.graphs.Node
    This class models an argument used by Dung's abstract argumentation theory and is just described by its name.
    Author:
    Matthias Thimm
    • Constructor Detail

      • Argument

        public Argument​(String name)
        Default constructor that assigns the given name to this argument
        Parameters:
        name - the name of the argument
    • Method Detail

      • getName

        public String getName()
        returns the name of the argument
        Returns:
        the name of the argument
      • setName

        public void setName​(String name)
        sets the name of the argument
        Parameters:
        name - the name of the argument
      • getSignature

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

        public int hashCode()
        Overrides:
        hashCode in class Object
      • 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.