extern const cl_GV_I copy (const cl_GV_I&);
// Output.
-inline void fprint (cl_ostream stream, const cl_GV_I& x)
+inline void fprint (std::ostream& stream, const cl_GV_I& x)
{
extern cl_print_flags default_print_flags;
- extern void print_vector (cl_ostream stream, const cl_print_flags& flags, void (* fun) (cl_ostream, const cl_print_flags&, const cl_number&), const cl_GV_number& vector);
- extern void print_integer (cl_ostream stream, const cl_print_flags& flags, const cl_I& z);
+ extern void print_vector (std::ostream& stream, const cl_print_flags& flags, void (* fun) (std::ostream&, const cl_print_flags&, const cl_number&), const cl_GV_number& vector);
+ extern void print_integer (std::ostream& stream, const cl_print_flags& flags, const cl_I& z);
print_vector(stream, default_print_flags,
- (void (*) (cl_ostream, const cl_print_flags&, const cl_number&))
- (void (*) (cl_ostream, const cl_print_flags&, const cl_I&))
+ (void (*) (std::ostream&, const cl_print_flags&, const cl_number&))
+ (void (*) (std::ostream&, const cl_print_flags&, const cl_I&))
&print_integer,
x);
}