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