Class DualSetSignature<T,​S>

  • Type Parameters:
    T - The first type of formulas in this signature.
    S - The second type of formulas in this signature.
    All Implemented Interfaces:
    java.lang.Cloneable, Signature

    public abstract class DualSetSignature<T,​S>
    extends java.lang.Object
    implements Signature
    This class models a signature as two sets of formulas.
    Author:
    Matthias Thimm, Anna Gessler
    • Constructor Summary

      Constructors 
      Constructor Description
      DualSetSignature()
      Creates a new empty signature.
      DualSetSignature​(java.util.Set<T> args1, java.util.Set<S> args2)
      Creates a new signature with the given sets of formulas.
    • Method Summary

      Modifier and Type Method Description
      void add​(java.lang.Object... objects)
      Adds the given formulas to the signature.
      void addAll​(java.util.Collection<?> c)
      Adds all elements of this collection to this signature.
      void addSignature​(Signature other)
      Adds the elements of the given signature to this signature.
      void clear()
      Removes all elements of this signature.
      abstract DualSetSignature<T,​S> clone()  
      boolean equals​(java.lang.Object obj)  
      int hashCode()  
      boolean isEmpty()
      Returns true if this signature is empty.
      boolean isOverlappingSignature​(Signature other)
      Checks whether this signature has common elements with the given signature, i.e.
      boolean isSubSignature​(Signature other)
      Checks whether this signature is a sub-signature of the given signature, i.e.
      void removeAll​(java.util.Collection<?> c)
      Removes all of this signature elements that are also contained in the specified collection (optional operation).
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

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

      • DualSetSignature

        public DualSetSignature()
        Creates a new empty signature.
      • DualSetSignature

        public DualSetSignature​(java.util.Set<T> args1,
                                java.util.Set<S> args2)
        Creates a new signature with the given sets of formulas.
        Parameters:
        args1 - a set of formulas
        args2 - a set of formulas
    • Method Detail

      • isSubSignature

        public boolean isSubSignature​(Signature other)
        Description copied from interface: Signature
        Checks whether this signature is a sub-signature of the given signature, i.e. whether each logical expression expressible with this signature is also expressible with the given signature.
        Specified by:
        isSubSignature in interface Signature
        Parameters:
        other - a signature.
        Returns:
        "true" iff this signature is a sub-signature of the given one.
      • isOverlappingSignature

        public boolean isOverlappingSignature​(Signature other)
        Description copied from interface: Signature
        Checks whether this signature has common elements with the given signature, i.e. whether there are logical expressions expressible with this signature that are also expressible with the given signature.
        Specified by:
        isOverlappingSignature in interface Signature
        Parameters:
        other - a signature.
        Returns:
        "true" iff this signature is overlapping with the given one.
      • addSignature

        public void addSignature​(Signature other)
        Description copied from interface: Signature
        Adds the elements of the given signature to this signature.
        Specified by:
        addSignature in interface Signature
        Parameters:
        other - a signature.
      • hashCode

        public int hashCode()
        Specified by:
        hashCode in interface Signature
        Overrides:
        hashCode in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object obj)
        Specified by:
        equals in interface Signature
        Overrides:
        equals in class java.lang.Object
      • addAll

        public void addAll​(java.util.Collection<?> c)
        Description copied from interface: Signature
        Adds all elements of this collection to this signature.
        Specified by:
        addAll in interface Signature
        Parameters:
        c - a collection
      • add

        public void add​(java.lang.Object... objects)
                 throws java.lang.IllegalArgumentException
        Description copied from interface: Signature
        Adds the given formulas to the signature.
        Specified by:
        add in interface Signature
        Parameters:
        objects - some objects to be added
        Throws:
        java.lang.IllegalArgumentException
      • isEmpty

        public boolean isEmpty()
        Description copied from interface: Signature
        Returns true if this signature is empty.
        Specified by:
        isEmpty in interface Signature
        Returns:
        true if this signature is empty.
      • removeAll

        public void removeAll​(java.util.Collection<?> c)
        Description copied from interface: Signature
        Removes all of this signature elements that are also contained in the specified collection (optional operation). After this call returns, this signature will contain no elements in common with the specified collection.
        Specified by:
        removeAll in interface Signature
        Parameters:
        c - a collection of objects
      • clear

        public void clear()
        Description copied from interface: Signature
        Removes all elements of this signature. After this call returns, this signature will contain no elements.
        Specified by:
        clear in interface Signature
      • toString

        public java.lang.String toString()
        Specified by:
        toString in interface Signature
        Overrides:
        toString in class java.lang.Object