Searched refs:ngubvars (Results 1 – 1 of 1) sorted by relevance
1630 assert(gubset->gubconss[c]->ngubvars >= 0); in GUBsetPrint()1633 if( gubset->gubconss[c]->ngubvars > 1 ) in GUBsetPrint()1691 (*gubcons)->ngubvars = 0; in GUBconsCreate()1724 assert(gubcons->ngubvars >= 0 && gubcons->ngubvars < gubcons->gubvarssize); in GUBconsAddVar()1730 gubcons->gubvars[gubcons->ngubvars] = var; in GUBconsAddVar()1732 gubcons->ngubvars++; in GUBconsAddVar()1735 if( gubcons->ngubvars == gubcons->gubvarssize ) in GUBconsAddVar()1762 assert(gubcons->ngubvars >= gubvarsidx+1); in GUBconsDelVar()1768 gubcons->ngubvars--; in GUBconsDelVar()1771 if( gubcons->ngubvars < gubcons->gubvarssize - GUBCONSGROWVALUE && gubcons->ngubvars > 0 ) in GUBconsDelVar()[all …]