Lines Matching refs:bset
52 __isl_take isl_basic_set *bset) in isl_basic_set_scan_samples() argument
58 ctx = isl_basic_set_get_ctx(bset); in isl_basic_set_scan_samples()
59 dim = isl_basic_set_dim(bset, isl_dim_all); in isl_basic_set_scan_samples()
67 if (isl_basic_set_scan(bset, &ss.callback) < 0) { in isl_basic_set_scan_samples()
74 isl_basic_set_free(bset); in isl_basic_set_scan_samples()
78 static __isl_give isl_mat *isl_basic_set_samples(__isl_take isl_basic_set *bset) in isl_basic_set_samples() argument
83 if (!bset) in isl_basic_set_samples()
86 if (bset->n_eq == 0) in isl_basic_set_samples()
87 return isl_basic_set_scan_samples(bset); in isl_basic_set_samples()
89 bset = isl_basic_set_remove_equalities(bset, &T, NULL); in isl_basic_set_samples()
90 samples = isl_basic_set_scan_samples(bset); in isl_basic_set_samples()
97 struct isl_basic_set *bset; in main() local
100 bset = isl_basic_set_read_from_file(ctx, stdin); in main()
101 samples = isl_basic_set_samples(bset); in main()