doxygen comments extended
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Wed, 20 Oct 2004 13:51:01 +0000 (13:51 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Wed, 20 Oct 2004 13:51:01 +0000 (13:51 +0000)
added various const where appropriated
make is_const_value() more "generic"

[r4164]


No differences found