Class ArgumentSet

    • Method Summary

      Modifier and Type Method Description
      boolean add​(BArgument arg0)  
      boolean addAll​(java.util.Collection<? extends BArgument> arg0)  
      void clear()  
      int compareTo​(ArgumentSet arg0)  
      boolean contains​(java.lang.Object arg0)  
      boolean containsAll​(java.util.Collection<?> arg0)  
      boolean equals​(java.lang.Object obj)  
      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.
      int hashCode()  
      boolean isEmpty()  
      java.util.Iterator<BArgument> iterator()  
      boolean remove​(java.lang.Object arg0)  
      boolean removeAll​(java.util.Collection<?> arg0)  
      boolean retainAll​(java.util.Collection<?> arg0)  
      int size()  
      java.lang.Object[] toArray()  
      <T> T[] toArray​(T[] arg0)  
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        getClass, notify, notifyAll, wait, wait, wait
      • Methods inherited from interface java.util.Collection

        parallelStream, removeIf, spliterator, stream, toArray
      • Methods inherited from interface java.lang.Iterable

    • Constructor Detail

      • ArgumentSet

        public ArgumentSet()
      • ArgumentSet

        public ArgumentSet​(Extension ext)
      • ArgumentSet

        public ArgumentSet​(BArgument argument)
      • ArgumentSet

        public ArgumentSet​(java.util.Collection<? extends BArgument> arguments)
    • Method Detail

      • toString

        public java.lang.String toString()
        toString in class java.lang.Object
      • hashCode

        public int hashCode()
        Specified by:
        hashCode in interface java.util.Collection<BArgument>
        hashCode in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object obj)
        Specified by:
        equals in interface java.util.Collection<BArgument>
        equals in class java.lang.Object
      • add

        public boolean add​(BArgument arg0)
        Specified by:
        add in interface java.util.Collection<BArgument>
      • addAll

        public boolean addAll​(java.util.Collection<? extends BArgument> arg0)
        Specified by:
        addAll in interface java.util.Collection<BArgument>
      • clear

        public void clear()
        Specified by:
        clear in interface java.util.Collection<BArgument>
      • contains

        public boolean contains​(java.lang.Object arg0)
        Specified by:
        contains in interface BipolarEntity
        Specified by:
        contains in interface java.util.Collection<BArgument>
      • containsAll

        public boolean containsAll​(java.util.Collection<?> arg0)
        Specified by:
        containsAll in interface java.util.Collection<BArgument>
      • isEmpty

        public boolean isEmpty()
        Specified by:
        isEmpty in interface java.util.Collection<BArgument>
      • iterator

        public java.util.Iterator<BArgument> iterator()
        Specified by:
        iterator in interface java.util.Collection<BArgument>
        Specified by:
        iterator in interface java.lang.Iterable<BArgument>
      • remove

        public boolean remove​(java.lang.Object arg0)
        Specified by:
        remove in interface java.util.Collection<BArgument>
      • removeAll

        public boolean removeAll​(java.util.Collection<?> arg0)
        Specified by:
        removeAll in interface java.util.Collection<BArgument>
      • retainAll

        public boolean retainAll​(java.util.Collection<?> arg0)
        Specified by:
        retainAll in interface java.util.Collection<BArgument>
      • size

        public int size()
        Specified by:
        size in interface java.util.Collection<BArgument>
      • toArray

        public java.lang.Object[] toArray()
        Specified by:
        toArray in interface java.util.Collection<BArgument>
      • toArray

        public <T> T[] toArray​(T[] arg0)
        Specified by:
        toArray in interface java.util.Collection<BArgument>
      • compareTo

        public int compareTo​(ArgumentSet arg0)
        Specified by:
        compareTo in interface java.lang.Comparable<ArgumentSet>
      • 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
        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
        the signature of the language of this formula.