Searched refs:dbm_j0 (Results 1 – 2 of 2) sorted by relevance
6439 const N& dbm_j0 = dbm[j][0]; in constraints() local6440 if (is_additive_inverse(dbm_j0, dbm_0j)) { in constraints()6451 if (!is_plus_infinity(dbm_j0)) { in constraints()6452 numer_denom(dbm_j0, b, a); in constraints()
83209 // Unary equality constraints are encoded in entries dbm_0j and dbm_j086986 const N& dbm_j0 = dbm[j][0];86987 if (is_additive_inverse(dbm_j0, dbm_0j)) {86998 if (!is_plus_infinity(dbm_j0)) {86999 numer_denom(dbm_j0, b, a);