Clan
0.8.1
|
#include <domain.h>
Data Fields | |
struct osl_relation_list * | constraints |
struct clan_domain * | next |
The clan_domain_t structure stores a (NULL-terminated linked) list of constraint sets, each of them being a relation list.
struct osl_relation_list* clan_domain::constraints |
An element of the domain list.
Definition at line 60 of file domain.h.
Referenced by clan_domain_and(), clan_domain_clone(), clan_domain_free(), clan_domain_idump(), clan_domain_malloc(), clan_domain_stride(), and clan_domain_xfor().
struct clan_domain* clan_domain::next |
Pointer to the next element.
Definition at line 61 of file domain.h.
Referenced by clan_domain_clone(), clan_domain_free(), clan_domain_idump(), clan_domain_malloc(), clan_domain_pop(), and clan_domain_push().