Interface Signature

    • Method Summary

      Modifier and Type Method Description
      void add​(java.lang.Object obj)
      Adds the given formula to this signature.
      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.
      Signature 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 remove​(java.lang.Object obj)
      Removes the given formula from this signature, if it is present (optional operation).
      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()  
    • Method Detail

      • isSubSignature

        boolean isSubSignature​(Signature other)
        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.
        Parameters:
        other - a signature.
        Returns:
        "true" iff this signature is a sub-signature of the given one.
      • isOverlappingSignature

        boolean isOverlappingSignature​(Signature other)
        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.
        Parameters:
        other - a signature.
        Returns:
        "true" iff this signature is overlapping with the given one.
      • addSignature

        void addSignature​(Signature other)
        Adds the elements of the given signature to this signature.
        Parameters:
        other - a signature.
      • hashCode

        int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • toString

        java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • equals

        boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object
      • add

        void add​(java.lang.Object obj)
        Adds the given formula to this signature.
        Parameters:
        obj - some object
      • addAll

        void addAll​(java.util.Collection<?> c)
        Adds all elements of this collection to this signature.
        Parameters:
        c - a collection
      • add

        void add​(java.lang.Object... objects)
        Adds the given formulas to the signature.
        Parameters:
        objects -
      • isEmpty

        boolean isEmpty()
        Returns true if this signature is empty.
        Returns:
        true if this signature is empty.
      • remove

        void remove​(java.lang.Object obj)
        Removes the given formula from this signature, if it is present (optional operation).
        Parameters:
        obj - some object
      • removeAll

        void removeAll​(java.util.Collection<?> c)
        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.
        Parameters:
        c - a collection of objects
      • clear

        void clear()
        Removes all elements of this signature. After this call returns, this signature will contain no elements.