code: public void saveModel(final LNGBooleanVector currentModel) {
      assert nbInitialVariables != 0;
      assert currentModel.size() != 0;
      this.model.clear();
      for (int i = 0; i < nbInitialVariables; i++)
        this.model.push(currentModel.get(i));
    }
docs: Saves the current model found by the SAT solver.
  @param currentModel the model found by the solver