Beispiel #1
0
 public static bool lteq_bit(Bit x, Bit y) { return x.lteq(y); }
Beispiel #2
0
 public static bool lt_bit(Bit x, Bit y) { return !x.eq(y) && x.lteq(y); }
Beispiel #3
0
 public static bool gteq_bit(Bit x, Bit y) { return x.eq(y) || !x.lteq(y); }
Beispiel #4
0
 public static bool gt_bit(Bit x, Bit y) { return !x.lteq(y); }