hash_isl_set/
hash_isl_set.rs

1use isl_rs as isl;
2
3fn main() {
4    let ctx = isl::Context::alloc();
5    let set = isl::Set::read_from_str(&ctx, "{[i, j]: 0<=i<1024 and 0<=j<512}").unwrap();
6    set.dump().unwrap();
7    println!("set.get_hash() is {}.", set.get_hash().unwrap());
8}