public class TraceCluster
extends java.lang.Object
Constructor and Description |
---|
TraceCluster(java.util.Collection<DMNModel> m,
java.util.Collection<java.lang.Integer> i,
java.lang.Object[] p) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<DMNModel> |
getModels() |
java.lang.Object[] |
getPetriNet() |
java.util.Collection<java.lang.Integer> |
getTraces() |
public TraceCluster(java.util.Collection<DMNModel> m, java.util.Collection<java.lang.Integer> i, java.lang.Object[] p)
public java.util.Collection<DMNModel> getModels()
public java.util.Collection<java.lang.Integer> getTraces()
public java.lang.Object[] getPetriNet()