00001 // 00002 // Copyright (c) 2006, Benjamin Kaufmann 00003 // 00004 // This file is part of Clasp. See http://www.cs.uni-potsdam.de/clasp/ 00005 // 00006 // Clasp is free software; you can redistribute it and/or modify 00007 // it under the terms of the GNU General Public License as published by 00008 // the Free Software Foundation; either version 2 of the License, or 00009 // (at your option) any later version. 00010 // 00011 // Clasp is distributed in the hope that it will be useful, 00012 // but WITHOUT ANY WARRANTY; without even the implied warranty of 00013 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00014 // GNU General Public License for more details. 00015 // 00016 // You should have received a copy of the GNU General Public License 00017 // along with Clasp; if not, write to the Free Software 00018 // Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA 00019 // 00020 00021 #ifndef TEST_TEST_H_INCLUDED 00022 #define TEST_TEST_H_INCLUDED 00023 00024 #include <cppunit/TestFixture.h> 00025 #include <cppunit/TestAssert.h> 00026 #include <cppunit/extensions/HelperMacros.h> 00027 #include <clasp/literal.h> 00028 00029 namespace Clasp { 00030 inline std::ostream& operator<<(std::ostream& os, Literal p) { 00031 if (p.sign()) os << "-"; 00032 os << p.var(); 00033 return os; 00034 } 00035 } 00036 00037 #endif 00038