Lines Matching defs:cout
53 std::cout << buf;
131 std::cout << "Testing post_goal()\n";
146 std::cout << "Answer was X=" << a.name() << ", Y=" << s << ", n=" << n << "\n";
152 std::cout << "Testing constructors\n";
181 std::cout << "Testing assignment\n";
188 std::cout << "Testing checking and decomposition\n";
195 std::cout << "d = " << d << "\n";
203 std::cout << "n = " << n << "\n";
211 std::cout << "n = " << n << "\n";
218 std::cout << "s = " << s << "\n";
225 std::cout << "a = " << a.name() << "\n";
236 std::cout << "functor = " << f.name() << "/" << f.arity() << ", n = " << n << "\n";
247 std::cout << "end\n";
261 std::cout << "PROBLEM!!!\n";