- d -

• delegate : wali::wfa::DecoratorTrans
• delta : wali::wfa::Trans
• delta_se : wali::wfa::State
• depth : wali::witness::VisitorPrinter
• domain : wali::relations::BinaryRelation , wali::relations::TernaryRelation< Subject >