public class UpToKSuccessorMatrix
extends java.lang.Object
Constructor and Description |
---|
UpToKSuccessorMatrix(java.util.Set<java.lang.String> activities) |
Modifier and Type | Method and Description |
---|---|
void |
feedKSuccessor(java.lang.String from,
java.lang.String to,
java.lang.Integer newValue) |
java.util.Set<java.lang.String> |
getActivities() |
java.lang.Integer |
getKSuccessor(java.lang.String from,
java.lang.String to) |
java.lang.String |
toString() |
java.lang.String |
toString(boolean useHTML) |
public UpToKSuccessorMatrix(java.util.Set<java.lang.String> activities)
public java.lang.Integer getKSuccessor(java.lang.String from, java.lang.String to)
public void feedKSuccessor(java.lang.String from, java.lang.String to, java.lang.Integer newValue)
public java.util.Set<java.lang.String> getActivities()
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String toString(boolean useHTML)