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
UnknownTreeNodeException
public static java.util.BitSet canOnlyProduceTau(EfficientTree tree)
tree
- public static boolean canOnlyProduceTau(EfficientTree tree, int node) throws UnknownTreeNodeException
UnknownTreeNodeException
public static java.util.BitSet canProduceTau(EfficientTree tree)
public static boolean canProduceTau(EfficientTree tree, int node) throws UnknownTreeNodeException
UnknownTreeNodeException
public static boolean canProduceSingleActivity(EfficientTree tree, int node, int activity) throws UnknownTreeNodeException
tree
- node
- activity
- UnknownTreeNodeException
public static boolean traceLengthAtMostOne(EfficientTree tree, int node) throws UnknownTreeNodeException
tree
- node
- UnknownTreeNodeException
public static boolean onlyEmptyTrace(EfficientTree tree, int node) throws UnknownTreeNodeException
tree
- node
- UnknownTreeNodeException