protected abstract static class SATSolveSingle.Var extends java.lang.Object
SATSolveSingle.Var(int varInt)
int
getVarInt()
boolean
isResult()
void
setResult(boolean result)
abstract java.lang.String
toString()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public SATSolveSingle.Var(int varInt)
public int getVarInt()
public abstract java.lang.String toString()
toString
java.lang.Object
public boolean isResult()
public void setResult(boolean result)