protected abstract static class SATSolveSingle.Var
extends java.lang.Object
Constructor and Description |
---|
Var(int varInt) |
Modifier and Type | Method and Description |
---|---|
int |
getVarInt() |
boolean |
isResult() |
void |
setResult(boolean result) |
abstract java.lang.String |
toString() |