
#include <gecode/flatzinc/lastval.hh>
Static Public Member Functions | |
| static void | init_last_val (FlatZincSpace &home, size_t idx, BoolView &var) |
| static void | set_last_val (FlatZincSpace &home, size_t idx, BoolView &var) |
Definition at line 135 of file lastval.hh.
|
inlinestatic |
Definition at line 137 of file lastval.hh.
|
inlinestatic |
Definition at line 140 of file lastval.hh.