public class EfficientTreeMetrics
extends java.lang.Object
| Constructor and Description |
|---|
EfficientTreeMetrics() |
| Modifier and Type | Method and Description |
|---|---|
static java.util.BitSet |
canOnlyProduceTau(EfficientTree tree) |
static boolean |
canOnlyProduceTau(EfficientTree tree,
int node) |
static boolean |
canProduceSingleActivity(EfficientTree tree,
int node,
int activity) |
static java.util.BitSet |
canProduceTau(EfficientTree tree) |
static boolean |
canProduceTau(EfficientTree tree,
int node) |
static long |
getShortestTrace(EfficientTree tree,
int node) |
static boolean |
onlyEmptyTrace(EfficientTree tree,
int node) |
static boolean |
traceLengthAtMostOne(EfficientTree tree,
int node) |
public static long getShortestTrace(EfficientTree tree, int node) throws UnknownTreeNodeException
UnknownTreeNodeExceptionpublic static java.util.BitSet canOnlyProduceTau(EfficientTree tree)
tree - public static boolean canOnlyProduceTau(EfficientTree tree, int node) throws UnknownTreeNodeException
UnknownTreeNodeExceptionpublic static java.util.BitSet canProduceTau(EfficientTree tree)
public static boolean canProduceTau(EfficientTree tree, int node) throws UnknownTreeNodeException
UnknownTreeNodeExceptionpublic static boolean canProduceSingleActivity(EfficientTree tree, int node, int activity) throws UnknownTreeNodeException
tree - node - activity - UnknownTreeNodeExceptionpublic static boolean traceLengthAtMostOne(EfficientTree tree, int node) throws UnknownTreeNodeException
tree - node - UnknownTreeNodeExceptionpublic static boolean onlyEmptyTrace(EfficientTree tree, int node) throws UnknownTreeNodeException
tree - node - UnknownTreeNodeException