- o -

• OP_ADD : testbdd.c
• OP_CMPTO : bddint.h
• OP_COFACTOR : bddint.h
• OP_COMP : bddint.h
• OP_CPROJ : bddcproject.c
• OP_EQUAL : bddint.h
• OP_FWD : bddint.h
• OP_MULT : testbdd.c
• OP_QNT : bddint.h
• OP_RED : bddint.h
• OP_RELPROD : bddint.h
• OP_REV : bddint.h
• OP_SATFRAC : bddint.h
• OP_SUBST : bddint.h
• OP_SWAP : bddint.h
• OP_SWAPAUX : bddint.h