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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbdd.h277 extern BDD bdd_ibuildcube(int, int, int *);
607 { return bdd_ibuildcube(v,w,a); }
728 #define bdd_ibuildcube bdd_ibuildcubepp macro
H A Dbddop.c311 BDD bdd_ibuildcube(int value, int width, int *var)*}
353 BDD bdd_ibuildcube(int value, int width, int *variables) function

Completed in 56 milliseconds