// Constructors.
cl_GV_R ();
cl_GV_R (const cl_GV_R&);
- explicit cl_GV_R (uintL len);
+ explicit cl_GV_R (uintC len);
// Assignment operators.
cl_GV_R& operator= (const cl_GV_R&);
// Private pointer manipulations.
};
inline cl_GV_R::cl_GV_R (const cl_GV_R& x) : cl_GV<cl_R,cl_GV_N> (as_cl_private_thing(x)) {}
CL_DEFINE_ASSIGNMENT_OPERATOR(cl_GV_R,cl_GV_R)
-inline cl_GV_R::cl_GV_R (uintL len)
+inline cl_GV_R::cl_GV_R (uintC len)
: cl_GV<cl_R,cl_GV_N> ((cl_heap_GV_R*) cl_make_heap_GV_number(len)) {}
inline cl_GV_R::cl_GV_R ()
: cl_GV<cl_R,cl_GV_N> ((cl_heap_GV_R*) (cl_heap_GV_number*) cl_null_GV_number) {}
}
// Output.
-inline void fprint (cl_ostream stream, const cl_GV_R& x)
+inline void fprint (std::ostream& stream, const cl_GV_R& 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_real (cl_ostream stream, const cl_print_flags& flags, const cl_R& 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_real (std::ostream& stream, const cl_print_flags& flags, const cl_R& 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_R&))
+ (void (*) (std::ostream&, const cl_print_flags&, const cl_number&))
+ (void (*) (std::ostream&, const cl_print_flags&, const cl_R&))
&print_real,
x);
}