public class ExecutionsTree extends BinaryTree
Constructor and Description |
---|
ExecutionsTree(java.util.List<java.lang.String> traceEvents,
java.util.List<java.lang.Integer> traceIndexes,
org.processmining.plugins.declareminer.visualizing.ConstraintDefinition constraint) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<java.lang.Integer> |
getActivations() |
java.util.Set<java.lang.Integer> |
getConflicts() |
java.util.Set<java.lang.Integer> |
getFulfillments() |
java.util.Vector |
getMaximalTraces()
Get all the traces generated from the combination of the activations.
|
java.util.Set<java.lang.Integer> |
getViolations() |
void |
process()
Method to generate all the possible combinations of traces
|
void |
visit(java.util.List<java.lang.Integer> trace,
java.util.Vector<java.lang.Integer> toSkip) |
addLeftLeaf, addLeftLeaf, addLeftRightLeaf, addRightLeaf, addRightLeaf, getLeaves, getLeftLeaves, getRightLeaves, toDotFile, toString
public ExecutionsTree(java.util.List<java.lang.String> traceEvents, java.util.List<java.lang.Integer> traceIndexes, org.processmining.plugins.declareminer.visualizing.ConstraintDefinition constraint)
trace
- constraint
- public void process()
public void visit(java.util.List<java.lang.Integer> trace, java.util.Vector<java.lang.Integer> toSkip)
public java.util.Vector getMaximalTraces()
public java.util.Set<java.lang.Integer> getActivations()
public java.util.Set<java.lang.Integer> getFulfillments()
public java.util.Set<java.lang.Integer> getConflicts()
public java.util.Set<java.lang.Integer> getViolations()