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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dcppext.cxx47 #define IOFORMAT_TABLE 1 macro
54 bdd_ioformat bddtable(IOFORMAT_TABLE);
232 if (bdd_ioformat::curformat == IOFORMAT_TABLE)
327 if (f.format == IOFORMAT_SET || f.format == IOFORMAT_TABLE ||

Completed in 31 milliseconds