public class Cut
extends java.lang.Object
Constructor and Description |
---|
Cut(org.processmining.plugins.InductiveMiner.mining.cuts.Cut.Operator operator,
java.util.List<gnu.trove.set.TIntSet> partition) |
Modifier and Type | Method and Description |
---|---|
org.processmining.plugins.InductiveMiner.mining.cuts.Cut.Operator |
getOperator() |
java.util.List<gnu.trove.set.TIntSet> |
getPartition() |
boolean |
isValid() |
void |
setOperator(org.processmining.plugins.InductiveMiner.mining.cuts.Cut.Operator operator) |
void |
setPartition(java.util.List<gnu.trove.set.TIntSet> partition) |
java.lang.String |
toString() |
public Cut(org.processmining.plugins.InductiveMiner.mining.cuts.Cut.Operator operator, java.util.List<gnu.trove.set.TIntSet> partition)
public boolean isValid()
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.List<gnu.trove.set.TIntSet> getPartition()
public void setPartition(java.util.List<gnu.trove.set.TIntSet> partition)
public org.processmining.plugins.InductiveMiner.mining.cuts.Cut.Operator getOperator()
public void setOperator(org.processmining.plugins.InductiveMiner.mining.cuts.Cut.Operator operator)