Lines Matching refs:var
861 PROTO {* BDD bdd_ithvar(int var) *}
869 the index {\tt var} that also defines the position in the
874 BDD bdd_ithvar(int var)
876 if (var < 0 || var >= bddvarnum)
882 return bddvarset[var*2];
890 PROTO {* BDD bdd_nithvar(int var) *}
900 BDD bdd_nithvar(int var)
902 if (var < 0 || var >= bddvarnum)
908 return bddvarset[var*2+1];