diff -r dd50a82ae8da -r 556b74055518 absyntax/absyntax.hh
--- a/absyntax/absyntax.hh	Wed Apr 15 23:25:07 2015 +0100
+++ b/absyntax/absyntax.hh	Thu Apr 30 20:54:04 2015 +0100
@@ -148,6 +148,10 @@
     /* comparison operator */
     bool operator==(const const_value_c cv)
       {return ((_int64==cv._int64) && (_uint64==cv._uint64) && (_real64==cv._real64) && (_bool==cv._bool));}                                                     
+      
+    /* return true if at least one of the const values (int, real, ...) is a valid const value */
+    bool is_const(void) 
+      {return (_int64.is_valid() || _uint64.is_valid() || _real64.is_valid() || _bool.is_valid());}   
 };