70 if (excess == 0) resize();
74 for (
int i = arity;
i--; ) {
104 assert(imp->
arity == -1 ||
130 assert(imp->
arity != -1);
163 template<
class Char,
class Traits,
class T>
164 std::basic_ostream<Char,Traits>&
165 operator <<(std::basic_ostream<Char,Traits>& os,
const TupleSet& ts) {
166 std::basic_ostringstream<Char,Traits> s;
167 s.copyfmt(os); s.width(0);
168 s <<
"Number of tuples: " << ts.
tuples() << std::endl
169 <<
"Tuples:" << std::endl;
170 for (
int i = 0;
i < ts.tuples(); ++
i) {
172 for (
int j = 0; j < ts.arity(); ++j) {
174 s <<
" " << ts[
i][j];
178 return os << s.str();