Searched refs:ivar (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dfdd.c56 int *ivar; /* Variable indeces for the variable set */ member in struct:s_Domain
172 domain[n+fdvarnum].ivar[bn] = binoffset++;
178 domain[n+fdvarnum].var = bdd_makeset(domain[n+fdvarnum].ivar,
230 d->ivar = (int *)malloc(sizeof(int)*d->binsize);
233 d->ivar[n] = domain[v1].ivar[n];
235 d->ivar[domain[v1].binsize+n] = domain[v2].ivar[n];
237 d->var = bdd_makeset(d->ivar, d->binsize);
353 return domain[v].ivar;
[all...]
/seL4-l4v-10.1.1/HOL4/src/pfl/
H A Dindex.sml364 val ivar = fst(strip_comb(lhs(snd(strip_forall(hd ieqns))))) value
365 val iname = fst(dest_var ivar)

Completed in 39 milliseconds