- d -

• debugFrame() : ilasynth::MicroUnroller
• declareClause() : ilasynth::HornDB
• declareRel() : ilasynth::HornDB
• declareVar() : ilasynth::HornDB
• declareWrapClause() : ilasynth::HornDB
• def() : ilasynth::CppVar , ilasynth::CVar
• defMemClass() : ilasynth::CppSimGen , ilasynth::CVerifGen
• defUnitpFunc() : ilasynth::CppSimGen , ilasynth::CVerifGen
• depCheck() : ilasynth::SupportVars
• depthFirstTraverse() : ilasynth::CppSimGen , ilasynth::CVerifGen , ilasynth::HornTranslator
• depthFirstVisit() : ilasynth::Node
• dfs() : ilasynth::ITESimplifier , ilasynth::SupportVars
• DistInput() : ilasynth::DistInput
• DITree() : ilasynth::DITree
• DITreeNode() : ilasynth::DITreeNode
• doesNextExist() : ilasynth::Abstraction
• doRewrite() : ilasynth::Rewriter
• dumpAssertion() : ilasynth::MicroUnroller
• dumpCDec() : ilasynth::CFun
• dumpCode() : ilasynth::CFun , ilasynth::CppFun
• dumpDec() : ilasynth::CFun , ilasynth::CppFun
• dumpVarDec() : ilasynth::CFun , ilasynth::CppFun