-typedef struct {
- int num_lits; /* size of next array */
- int* literals;
-} Clause;
-
-void Clause_pre_cb (void *vars,gras_datadesc_type_t *p_type,void *data);
-int Clause_num_lits(void *vars,gras_datadesc_type_t *p_type,void *data);
-
-void Clause_pre_cb(void *vars,
- gras_datadesc_type_t *p_type,
- void *data) {
- Clause c=*(Clause*)data;
- int *count=malloc(sizeof(int));
- *count=c.num_lits;
-
- gras_dd_cbps_push(vars,"num_lits",count,
- gras_datadesc_by_name("int"));
- DEBUG2("writen data=%p (got %p)",count,data);
- DEBUG1("writen count=%d",*count);
-}
-
-int Clause_num_lits(void *vars,
- gras_datadesc_type_t *p_type,
- void *data) {
- // int *res;
- gras_datadesc_type_t *ddt;
- void *d = gras_dd_cbps_get (vars,"num_lits",&ddt);
- DEBUG1("read data=%p",d);
- DEBUG1("read count=%d",*(int*)d);
- return *(int*)d;
-}
+GRAS_DEFINE_TYPE(s_clause,
+struct s_clause {
+ int num_lits;
+ int *literals GRAS_ANNOTE(size,num_lits); /* Tells GRAS where to find the size */
+};)
+typedef struct s_clause Clause;