Package net.sf.tweety.logics.bpm.syntax

Class BpmnSignature

  • All Implemented Interfaces:
    java.lang.Cloneable, Signature
    public class BpmnSignature
extends java.lang.Object
implements Signature
    Author:
    Benedikt Knopp

    • Constructor Summary

      Constructors 
      Constructor Description
      BpmnSignature()  

    • 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 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).

      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • BpmnSignature

        public BpmnSignature()

    • 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.

      • add

        public void add​(java.lang.Object obj)
        Description copied from interface: Signature
        Adds the given formula to this signature.
        Specified by:
        add in interface Signature
        Parameters:
        obj - some 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

      • 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.

      • remove

        public void remove​(java.lang.Object obj)
        Description copied from interface: Signature
        Removes the given formula from this signature, if it is present (optional operation).
        Specified by:
        remove in interface Signature
        Parameters:
        obj - some object

      • 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

      • add

        public void add​(java.lang.Object... objects)
        Description copied from interface: Signature
        Adds the given formulas to the signature.
        Specified by:
        add in interface Signature