Lines Matching refs:bitnum
50 int bitnum;
56 {\tt bitnum} is the number of elements in the vector and the
63 int bitnum;
78 extern BVEC bvec_true(int bitnum);
79 extern BVEC bvec_false(int bitnum);
80 extern BVEC bvec_con(int bitnum, int val);
81 extern BVEC bvec_var(int bitnum, int offset, int step);
83 extern BVEC bvec_varvec(int bitnum, int *var);
84 extern BVEC bvec_coerce(int bitnum, BVEC v);
127 bvec(void) { roots.bitvec=NULL; roots.bitnum=0; }
128 bvec(int bitnum) { roots=bvec_false(bitnum); }
129 bvec(int bitnum, int val) { roots=bvec_con(bitnum,val); }
135 int bitnum(void) const { return roots.bitnum; }
136 int empty(void) const { return roots.bitnum==0; }
144 friend bvec bvec_truepp(int bitnum);
145 friend bvec bvec_falsepp(int bitnum);
146 friend bvec bvec_conpp(int bitnum, int val);
147 friend bvec bvec_varpp(int bitnum, int offset, int step);
149 friend bvec bvec_varvecpp(int bitnum, int *var);
150 friend bvec bvec_coerce(int bitnum, const bvec &v);
199 inline bvec bvec_truepp(int bitnum)
200 { return bvec_true(bitnum); }
202 inline bvec bvec_falsepp(int bitnum)
203 { return bvec_false(bitnum); }
205 inline bvec bvec_conpp(int bitnum, int val)
206 { return bvec_con(bitnum, val); }
208 inline bvec bvec_varpp(int bitnum, int offset, int step)
209 { return bvec_var(bitnum, offset, step); }
214 inline bvec bvec_varvecpp(int bitnum, int *var)
215 { return bvec_varvec(bitnum, var); }
217 inline bvec bvec_coerce(int bitnum, const bvec &v)
218 { return bvec_coerce(bitnum, v.roots); }