Exemple #1
0
 /// Return how to implement distinct except 0
 int distinct_except_0(void) const { return _distinct_except_0.value(); }
Exemple #2
0
 /// Return how to implement same or 0
 int same_or_0(void) const { return _same_or_0.value(); }
Exemple #3
0
 /// Return how to implement distinct except 0
 int no_monochrome_rectangle(void) const { 
   return _no_monochrome_rectangle.value(); 
 }
Exemple #4
0
 /// Return how to implement not all equals
 int not_all_equal(void) const { return _not_all_equal.value(); }
Exemple #5
0
 /// Whether to use permutation constraints. Only active if d=4
 bool permutation(void) const {
     return d() == 4 && _permutation.value();
 }