1- This program takes as imput the name of a hierarchy under the format .inh. The ouput just gives the size of the bit-vector encodings produced by Caseau's method and CHNR's method (Caseau, Habib, Nourine, Raynaud). The input hierarchy have to be a TREE hierarchy.
Example:
File toto.inh
super Object name Rectangle
super Rectangle name Square
super Object name Triangle
Output > Size of Caseau encoding = 3 bits, Size of CHNR encoding = 3 bits
2- The program uses standard C++ libraries.