- d -

• DD_DYN_VAR_ORDER_ACTION_DISABLE : dd.h
• DD_DYN_VAR_ORDER_ACTION_ENABLE : dd.h
• DD_DYN_VAR_ORDER_ACTION_FORCE : dd.h
• DEFINE : symbols.h
• DEFINE_PROPERTY : symbols.h
• Deterministic : simulate.h
• DIVIDE : symbols.h
• DOT : symbols.h
• DUMP_BITS : BddEnc.h
• DUMP_DEFAULT : BddEnc.h
• DUMP_FORMAT_DAVINCI : BddEnc.h
• DUMP_FORMAT_DOT : BddEnc.h
• DUMP_FORMAT_INVALID : BddEnc.h
• DUMP_SCALARS_ONLY : BddEnc.h