Class SetSupport

    • Constructor Summary

      Constructors 
      Constructor Description
      SetSupport​(java.util.Collection<BArgument> supporter, BArgument supported)
      initializes the arguments used in this support relation
      SetSupport​(ArgumentSet supporter, BArgument supported)
      Default constructor; initializes the arguments used in this support relation
      SetSupport​(BArgument supporter, BArgument supported)
      initializes the arguments used in this support relation
    • Method Summary

      Modifier and Type Method Description
      boolean contains​(java.lang.Object o)  
      boolean contains​(BArgument argument)
      Return true if the given argument is in this support relation.
      boolean equals​(java.lang.Object o)  
      LdoFormula getLdoFormula()
      Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf.
      Signature getSignature()
      Returns the signature of the language of this formula.
      BArgument getSupported()
      returns the supported argument of this support relation.
      ArgumentSet getSupporter()
      returns the supporting set of arguments of this support relation.
      int hashCode()  
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

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

      • 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​(java.util.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 Detail

      • 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.
      • contains

        public boolean contains​(java.lang.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.