File: fzn_arg_min_bool.mzn

package info (click to toggle)
gecode-snapshot 6.2.0%2Bgit20240207-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 35,308 kB
  • sloc: cpp: 475,516; perl: 2,077; makefile: 1,816; sh: 198
file content (4 lines) | stat: -rw-r--r-- 224 bytes parent folder | download 
1
2
3
4
 
predicate gecode_minimum_arg_bool_offset(array[int] of var bool: x, int: offset, var int: i);

predicate fzn_minimum_arg_bool(array[int] of var bool: x, var int: i) =
  gecode_minimum_arg_bool_offset(x,min(index_set(x)),i);