1 /* 2 * SAT4J: a SATisfiability library for Java Copyright (C) 2004-2006 Daniel Le Berre 3 * 4 * Based on the original minisat specification from: 5 * 6 * An extensible SAT solver. Niklas E?n and Niklas S?rensson. Proceedings of the 7 * Sixth International Conference on Theory and Applications of Satisfiability 8 * Testing, LNCS 2919, pp 502-518, 2003. 9 * 10 * This library is free software; you can redistribute it and/or modify it under 11 * the terms of the GNU Lesser General Public License as published by the Free 12 * Software Foundation; either version 2.1 of the License, or (at your option) 13 * any later version. 14 * 15 * This library is distributed in the hope that it will be useful, but WITHOUT 16 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS 17 * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more 18 * details. 19 * 20 * You should have received a copy of the GNU Lesser General Public License 21 * along with this library; if not, write to the Free Software Foundation, Inc., 22 * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA 23 * 24 */ 25 package org.sat4j.minisat.core; 26 27 final class NullSearchListener implements SearchListener { 28 private static final long serialVersionUID = 1L; 29 30 public void assuming(int p) { 31 } 32 33 public void propagating(int p) { 34 } 35 36 public void backtracking(int p) { 37 } 38 39 public void adding(int p) { 40 } 41 42 public void learn(Constr clause) { 43 } 44 45 public void delete(int[] clause) { 46 } 47 48 public void conflictFound() { 49 } 50 51 public void solutionFound() { 52 } 53 54 public void beginLoop() { 55 } 56 57 public void start() { 58 } 59 60 public void end(Lbool result) { 61 } 62 }