code: public List<Assignment> enumerateAllModels(final ModelEnumerationHandler handler) {
          return this.enumerateAllModels((Collection<Variable>) null, handler);
      }
docs: Enumerates all models of the current formula and passes it to a model enumeration handler.
  @param handler the model enumeration handler
  @return the list of models