Relations

Relations are represented by the data type Kure_Rel. Kure_Rel is a structure with several fields. Those that are of interest to the application that uses the KURE package as a black box are the name, the width and the height of the relation. The remaining fields are a pointer to a ROBDD structure representing the relation, and a value to store the internal state of the relation.