Lines Matching refs:varNumber
164 public boolean testVar(int varNumber) {
165 long bit = (1L << varNumber);
166 if (varNumber >= VBITS) {
167 int i = (varNumber / VBITS - 1) * 2;
182 public boolean testVarUnassigned(int varNumber) {
183 long bit = (1L << varNumber);
184 if (varNumber >= VBITS) {
186 int i = ((varNumber / VBITS - 1) * 2) + 1;
200 public Vset addVar(int varNumber) {
207 long bit = (1L << varNumber);
208 if (varNumber >= VBITS) {
209 int i = (varNumber / VBITS - 1) * 2;
228 public Vset addVarUnassigned(int varNumber) {
235 long bit = (1L << varNumber);
236 if (varNumber >= VBITS) {
238 int i = ((varNumber / VBITS - 1) * 2) + 1;
256 public Vset clearVar(int varNumber) {
260 long bit = (1L << varNumber);
261 if (varNumber >= VBITS) {
262 int i = (varNumber / VBITS - 1) * 2;
430 * a context. Zeroes are stored past varNumber.
435 public Vset removeAdditionalVars(int varNumber) {
439 long bit = (1L << varNumber);
440 if (varNumber >= VBITS) {
441 int i = (varNumber / VBITS - 1) * 2;