isl-rs 0.3.1

Rust bindings for Integer Set Library
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

for (int c0 = 1; c0 <= 8; c0 += 1) {
  if (c0 >= 2) {
    if (c0 <= 6)
      for (int c1 = 0; c1 < c0 - 1; c1 += 1)
        s1(c0, c1);
    for (int c1 = c0 - 1; c1 <= 4; c1 += 1) {
      s1(c0, c1);
      s0(c0, c1);
    }
    for (int c1 = max(5, c0 - 1); c1 <= 7; c1 += 1)
      s0(c0, c1);
  } else {
    for (int c1 = 0; c1 <= 7; c1 += 1)
      s0(1, c1);
  }
}