- d -

• data : ilasynth::mem_write_entry_t , ilasynth::WriteSlice
• dataWidth : ilasynth::NodeType
• debug : ilasynth::MicroUnroller
• decodeExprs : ilasynth::Abstraction
• decodeSupport : ilasynth::Synthesizer
• def_value : ilasynth::MemValues
• distInp : ilasynth::Z3ExprRewritingAdapter
• ditree : ilasynth::Synthesizer