Class Argument

    • Constructor Summary

      Constructors 
      Constructor Description
      Argument​(java.lang.String name)
      Default constructor that assigns the given name to this argument
    • Method Summary

      Modifier and Type Method Description
      boolean equals​(java.lang.Object o)  
      LdoArgument getLdoArgument()  
      LdoFormula getLdoFormula()
      Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf.
      java.lang.String getName()
      returns the name of the argument
      Signature getSignature()
      Returns the signature of the language of this formula.
      int hashCode()  
      void setName​(java.lang.String name)
      sets the name of the argument
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        getClass, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • Argument

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

      • getName

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

        public void setName​(java.lang.String name)
        sets the name of the argument
        Parameters:
        name - the name of the argument
      • 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.
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.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.