From d1a8153fb9ff2c066656b57bf927b1906a3b2e92 Mon Sep 17 00:00:00 2001
From: Mate Soos <soos.mate@gmail.com>
Date: Mon, 10 Feb 2025 22:27:10 +0100
Subject: [PATCH] Removing --onlysampling

---
 src/main.cpp | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

diff --git a/src/main.cpp b/src/main.cpp
index 2ea22ac90..e7fc626a5 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -187,7 +187,7 @@ void Main::printResultFunc(
                 }
             };
 
-            if (!solver->get_sampl_vars_set() || !only_sampl_solution) {
+            if (!solver->get_sampl_vars_set()) {
                 for (uint32_t var = 0; var < solver->nVars(); var++) {
                     fun(var);
                 }
@@ -200,7 +200,7 @@ void Main::printResultFunc(
             *os << "0" << endl;
         } else {
             uint32_t num_undef;
-            if (!solver->get_sampl_vars_set() || !only_sampl_solution) {
+            if (!solver->get_sampl_vars_set()) {
                 num_undef = print_model(solver, os);
             } else {
                 num_undef = print_model(solver, os, &solver->get_sampl_vars());
@@ -940,10 +940,6 @@ void Main::add_supported_options() {
         .action([&](const auto& a) {conf.idrup = std::atoi(a.c_str());})
         .default_value(conf.idrup)
         .help("idrup");
-    program.add_argument("--onlysampling")
-        .flag()
-        .action([&](const auto&) {only_sampl_solution = true;})
-        .help("Print and ban(!) solutions' vars only in 'c ind' or as --sampling '...'");
     program.add_argument("--sampling")
         .help("Set sampling vars such as '1,84,44'");
     program.add_argument("--assump")
@@ -1321,7 +1317,7 @@ lbool Main::multi_solutions()
     unsigned long current_nr_of_solutions = 0;
     lbool ret = l_True;
     while(current_nr_of_solutions < max_nr_of_solutions && ret == l_True) {
-        ret = solver->solve(&assumps, only_sampl_solution);
+        ret = solver->solve(&assumps);
         current_nr_of_solutions++;
 
         if (ret == l_True && current_nr_of_solutions < max_nr_of_solutions) {