diff src/ov.h @ 4044:9678c5526190

[project @ 2002-08-15 16:54:55 by jwe]
author jwe
date Thu, 15 Aug 2002 16:54:56 +0000
parents a8621d87fbf5
children 6e86256e9c54
line wrap: on
line diff
--- a/src/ov.h	Thu Aug 15 03:36:27 2002 +0000
+++ b/src/ov.h	Thu Aug 15 16:54:56 2002 +0000
@@ -483,6 +483,10 @@
   complex_row_vector_value (bool frc_str_conv = false,
 			    bool frc_vec_conv = false) const;
 
+  Array<int> int_vector_value (bool req_int = false,
+			       bool frc_str_conv = false,
+			       bool frc_vec_conv = false) const;
+
   Array<double> vector_value (bool frc_str_conv = false,
 			      bool frc_vec_conv = false) const;