File: fzn_on_restart_complete.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 (3 lines) | stat: -rw-r--r-- 231 bytes parent folder | download 
1
2
3
 
/* Abandon and mark search as complete when argument variable is assigned `true'. */
predicate fzn_on_restart_complete(var bool: marker) = gecode_on_restart_complete(marker);
predicate gecode_on_restart_complete(var bool: marker);