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