protected static class SATSolveSingle.Node extends SATSolveSingle.Var
| Constructor and Description |
|---|
SATSolveSingle.Node(int varInt,
org.deckfour.xes.classification.XEventClass activity) |
| Modifier and Type | Method and Description |
|---|---|
org.deckfour.xes.classification.XEventClass |
getActivity() |
java.lang.String |
toString() |
getVarInt, isResult, setResultpublic SATSolveSingle.Node(int varInt,
org.deckfour.xes.classification.XEventClass activity)
public org.deckfour.xes.classification.XEventClass getActivity()
public java.lang.String toString()
toString in class SATSolveSingle.Var