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 /** 28 * Debugging Search Listener allowing to follow the search in a textual way. 29 * 30 * @author daniel 31 * 32 */ 33 public class TextOutputListener implements SearchListener { 34 35 private static final long serialVersionUID = 1L; 36 37 public void assuming(int p) { 38 System.out.println("assuming " + p); 39 } 40 41 public void propagating(int p) { 42 System.out.println("implies " + p); 43 } 44 45 public void backtracking(int p) { 46 System.out.println("backtracking " + p); 47 } 48 49 public void adding(int p) { 50 System.out.println("adding " + p); 51 } 52 53 public void learn(Constr clause) { 54 55 } 56 57 public void delete(int[] clause) { 58 59 } 60 61 public void conflictFound() { 62 System.out.println("conflict "); 63 } 64 65 public void solutionFound() { 66 System.out.println("solution found "); 67 } 68 69 public void beginLoop() { 70 } 71 72 public void start() { 73 } 74 75 public void end(Lbool result) { 76 } 77 78 }