centos 5.2 dont include g++ by default installation

While I compile zchaff sat solver under centos 5.2, it complain that dont find g++. it is actually in gcc-c++-4.1.2-42.el5.x86_64.rpm. just install it and everything ok

exploring similarity between sub constructor

there are some degree of similarity between sub constructors, and some operation only care such similarity, and dont care the difference.

for example, in a verilog parser, there is a data onstructor like this,
and blocking_assignment =
T_blocking_assignment_direct of lvalue*expression
| T_blocking_assignment_delay of lvalue*expression*delay_control
| T_blocking_assignment_event of lvalue*expression*event_control
and non_blocking_assignment =
T_non_blocking_assignment_direct of lvalue*expression
| T_non_blocking_assignment_delay of lvalue*expression*delay_control
| T_non_blocking_assignment_event of lvalue*expression*event_control

and in one operation regs, I only need to get the left value list, so I only care lvalue part,
In another operation deps, I only need to get the variables appear on right hand side, so I only need the expression part.

So can we just specify lvalue and expression without mention the exact constructor name and other data?

disabling of mihuo protocol

I use amule to download resource of verycd, but it just refuse to start, and complain about low ID,

I notice that there are mihuo protocol setting, so I just disable it , and everything OK

formal method to warn us about the effect of updated environment

When we or other people other then we, modify some code incrementally, then it will afect the proper treatment of the other code, so can we develop a metnod to warn us about what to do when it is need?

bridge the gap of my mind and the state of the art library

When we try to use a library, we has some idea about its functionality and structrue in our mind, which can be seen as an abstraction of the library.

So if there exist a method to connect this our mind with the actual lib?