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.Objectpublic java.lang.String toString(boolean useHTML)