Clan  0.8.1
Data Fields
clan_domain Struct Reference

#include <domain.h>

Collaboration diagram for clan_domain:
Collaboration graph
[legend]

Data Fields

struct osl_relation_list * constraints
 
struct clan_domainnext
 

Detailed Description

The clan_domain_t structure stores a (NULL-terminated linked) list of constraint sets, each of them being a relation list.

Definition at line 59 of file domain.h.

Field Documentation

◆ constraints

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().

◆ next

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().


The documentation for this struct was generated from the following file: