I'm trying to get inferred equivalence for classes with FaCT++.
I guess I have to use the following method : "get_sub_super" ?
Anyone have an example of this method usage ? Especially for the firt parameter (Predicate).
Best regards,
Yves
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Hi all,
I'm trying to get inferred equivalence for classes with FaCT++.
I guess I have to use the following method : "get_sub_super" ?
Anyone have an example of this method usage ? Especially for the firt parameter (Predicate).
Best regards,
Yves