Method post

gecode/flatzinc/complete.hh:66–73

    }

    static ExecStatus post(FlatZincSpace& home, BoolView x0) {
      if (x0.assigned()) {
        home.restart_data().mark_complete = x0.val();
      } else {
        (void) new (home) Complete(home, x0);
      }
      return ES_OK;
    }
  };

}}