From 76729f9670ba63a9146079b081bdb5b5ae0bbd3d Mon Sep 17 00:00:00 2001
From: Kenny Ballou <kballou@devnulllabs.io>
Date: Fri, 28 Feb 2020 15:36:09 -0700
Subject: CASA fork: initial commit

Snapshot from http://cse.unl.edu/~citportal/.
---
 casa/annealing/AnnealingSuccess.C | 47 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 47 insertions(+)
 create mode 100644 casa/annealing/AnnealingSuccess.C

(limited to 'casa/annealing/AnnealingSuccess.C')

diff --git a/casa/annealing/AnnealingSuccess.C b/casa/annealing/AnnealingSuccess.C
new file mode 100644
index 0000000..f7199f2
--- /dev/null
+++ b/casa/annealing/AnnealingSuccess.C
@@ -0,0 +1,47 @@
+// Copyright 2008, 2009 Brady J. Garvin
+
+// This file is part of Covering Arrays by Simulated Annealing (CASA).
+
+// CASA is free software: you can redistribute it and/or modify it
+// under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// CASA is distributed in the hope that it will be useful, but
+// WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with CASA.  If not, see <http://www.gnu.org/licenses/>.
+
+
+#include <iostream>
+
+#include "covering/space/CoveringArraySpace.H"
+#include "annealing/AnnealingSuccess.H"
+
+using namespace std;
+
+bool AnnealingSuccess::operator ()(unsigned rows) const {
+  bool result;
+  cout << "Trying " << rows << " rows" << endl;
+  const CoveringArraySpace*space =
+    dynamic_cast<const CoveringArraySpace*>(search.getSpace());
+  assert(space);
+  cout << "Building start state" << endl;
+  CoveringArray startState = space->createStartState(rows);
+  search.addStartState(startState);
+  cout << "Searching" << endl;
+  set<NodeT*>solutions = search.search(iterations, false);
+  if (solutions.empty()) {
+    cout << "Failed to meet coverage with " << rows << " rows" << endl;
+    result = false;
+  } else {
+    cout << "Met coverage with " << rows << " rows" << endl;
+    result = true;
+    solution = (*solutions.begin())->getState();
+  }
+  search.clear();
+  return result;
+}
-- 
cgit v1.2.1