bool pdbm_isUnbounded(const PDBM pdbm, cindex_t dim) { assert(pdbm && dim); return dbm_isUnbounded(pdbm_matrix(pdbm), dim); }
bool Clocks::isUnbounded() const { return dbm_isUnbounded( data, dim ); }