public class ConfigurationAuxiliary
extends java.lang.Object
Constructor and Description |
---|
ConfigurationAuxiliary() |
Modifier and Type | Method and Description |
---|---|
static java.util.Set<java.util.UUID> |
computeClosureBlocking(ProcessTree tree,
java.util.Set<java.util.UUID> blockedEdges) |
static java.util.Map<java.util.UUID,java.lang.Integer> |
computeClosureBlockingMultiSet(ProcessTree tree,
java.util.Set<java.util.UUID> blockedEdges) |
static void |
nextBitSequece(java.util.BitSet currentConfiguration) |
static <E> boolean |
overlap(E element,
java.util.Set<E> set2) |
static <E> boolean |
overlap(java.util.Set<E> set1,
java.util.Set<E> set2) |
static boolean |
smaller(java.util.BitSet left,
java.util.BitSet right) |
public static void nextBitSequece(java.util.BitSet currentConfiguration)
public static <E> boolean overlap(java.util.Set<E> set1, java.util.Set<E> set2)
public static <E> boolean overlap(E element, java.util.Set<E> set2)
public static boolean smaller(java.util.BitSet left, java.util.BitSet right) throws java.lang.Exception
java.lang.Exception
public static java.util.Map<java.util.UUID,java.lang.Integer> computeClosureBlockingMultiSet(ProcessTree tree, java.util.Set<java.util.UUID> blockedEdges)
public static java.util.Set<java.util.UUID> computeClosureBlocking(ProcessTree tree, java.util.Set<java.util.UUID> blockedEdges)