org.processmining.plugins.petra.context.processtree.auxiliary

Class SetOperations

java.lang.Object

org.processmining.plugins.petra.context.processtree.auxiliary.SetOperations

public class SetOperations
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
SetOperations()

Method Summary

Modifier and Type	Method and Description
static <E> java.util.Set<E>	intersection(java.util.Set<E> set1, java.util.Set<E> set2)
static <E> java.util.Set<E>	setMinus(java.util.Set<E> top, java.util.Set<E> bottom)

Methods inherited from class java.lang.Object

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

Constructor Detail

SetOperations

public SetOperations()

Method Detail

intersection

public static <E> java.util.Set<E> intersection(java.util.Set<E> set1,
                                                java.util.Set<E> set2)

setMinus

public static <E> java.util.Set<E> setMinus(java.util.Set<E> top,
                                            java.util.Set<E> bottom)