Searched defs:bTerm (Results 1 – 11 of 11) sorted by relevance
112 DD bTerm = (bx.multiply(bx).add(by.multiply(by))) in isInCircleDD() local129 DD bTerm = (DD.sqr(b.x).selfAdd(DD.sqr(b.y))) in isInCircleDD2() local
156 DD bTerm = (bx.multiply(bx).add(by.multiply(by))) in isInCircleDDSlow() local192 DD bTerm = (DD.sqr(b.x).selfAdd(DD.sqr(b.y))) in isInCircleDDFast() local
116 Node bTerm = d_tds->sygusToBuiltin(vn, tn); in registerModelValue() local
1537 Node bTerm = sygusToBuiltin( n[0], tn ); in getEagerUnfold() local
218 bool bSqlite, bParam, bGraph, bTerm, bExact, bFull; in main() local
64 double bTerm = vdw2 * R_star_ij7 / (dist7 + vdw2m1 * R_star_ij7) - 2.0; in calcVdWEnergy() local
285 Pin::Pin(odb::dbBTerm* bTerm): Pin() { in Pin()442 void Pin::updateCoordi(odb::dbBTerm* bTerm) { in updateCoordi()
301 char *bTerm = "B-term"; variable
313 char *bTerm = "B-term"; variable
1269 CoreEdge MacroPlacer::findNearestEdge(dbBTerm* bTerm) in findNearestEdge()
664 QPushButton* bTerm; variable