a skeletton of the classes, apply function, displaying function and insertion in a bdd still remains to be done