Class BpmnSignature

java.lang.Object
org.tweetyproject.logics.bpm.syntax.BpmnSignature
All Implemented Interfaces:
Cloneable, Signature
public class BpmnSignature extends Object implements Signature
The BpmnSignature class
Author:
Benedikt Knopp

  • Constructor Summary

    Constructors
    Constructor
    Description
    BpmnSignature()
    Default Constructor

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    add(Object obj)
    Adds the given formula to this signature.
    void
    add(Object... objects)
    Adds the given formulas to the signature.
    void
    addAll(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()
    clones signature
    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(Object obj)
    Removes the given formula from this signature, if it is present (optional operation).
    void
    removeAll(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

    Methods inherited from interface org.tweetyproject.commons.Signature

    equals, hashCode, toString

  • Constructor Details

    • BpmnSignature

      public BpmnSignature()
      Default Constructor

  • Method Details

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

    • clone

      public Signature clone()
      Description copied from interface: Signature
      clones signature
      Specified by:
      clone in interface Signature
      Returns:
      clone

    • add

      public void add(Object... objects)
      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