Class DungSignature

  • All Implemented Interfaces:
    java.lang.Cloneable, java.lang.Iterable<Argument>, Signature

    public class DungSignature
    extends SingleSetSignature<Argument>
    This class captures the signature of a Dung theory, i.e. a set of arguments.
    Author:
    Matthias Thimm
    • 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​(java.util.Collection<? extends Argument> arguments)
        Creates a new signature with the given set of arguments.
        Parameters:
        arguments - a set of arguments.