Class DungSignature

  • All Implemented Interfaces:
    Cloneable, Iterable<Argument>, net.sf.tweety.commons.Signature

    public class DungSignature
    extends net.sf.tweety.commons.SingleSetSignature<Argument>
    This class captures the signature of a Dung theory, i.e. a set of arguments.
    Author:
    Matthias Thimm
    • Field Summary

      • Fields inherited from class net.sf.tweety.commons.SingleSetSignature

        formulas
    • Method Summary

      Modifier and Type Method Description
      void add​(Object obj)  
      DungSignature clone()  
      • Methods inherited from class net.sf.tweety.commons.SingleSetSignature

        add, addAll, addSignature, clear, contains, containsAll, equals, hashCode, isEmpty, isOverlappingSignature, isSubSignature, iterator, remove, removeAll, retainAll, size, toArray, toCollection, toString
    • Constructor Detail

      • DungSignature

        public DungSignature()
        Creates a new (empty) Dung signature.
      • DungSignature

        public DungSignature​(Argument argument)
        Creates a new signature with the single given argument.
        Parameters:
        argument - an argument.
      • DungSignature

        public DungSignature​(Collection<? extends Argument> arguments)
        Creates a new signature with the given set of arguments.
        Parameters:
        arguments - a set of arguments.
    • Method Detail

      • add

        public void add​(Object obj)
      • clone

        public DungSignature clone()
        Specified by:
        clone in interface net.sf.tweety.commons.Signature
        Specified by:
        clone in class net.sf.tweety.commons.SingleSetSignature<Argument>