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

/seL4-l4v-10.1.1/HOL4/examples/muddy/
H A Dbdd.sig204 [makeset_ varvector] makes the varSet with the elements in
205 varvector. There are many constraints on varvector: it must be
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c446 EXTERNML value mlbdd_makeset(value varvector) /* ML */ argument
451 size = Wosize_val(varvector);
457 v[i] = Int_val(Field(varvector, i));

Completed in 39 milliseconds