protected static class SATSolveSingle.Node extends SATSolveSingle.Var
Constructor and Description |
---|
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, setResult
public 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