- d -

• decompose() : smtrat::cadcells::operators::rules::ordering_util , smtrat::cadcells::representation::util
• delineable_interval() : smtrat::cadcells::operators::rules::filter_util
• delineable_interval_roots() : smtrat::cadcells::operators::rules::filter_util
• delineate() : smtrat::cadcells::operators::rules
• delineate_all() : smtrat::cadcells::operators::rules
• delineate_all_biggest_cell() : smtrat::cadcells::operators::rules
• delineate_all_compound() : smtrat::cadcells::operators::rules
• delineate_bounds_only() : smtrat::cadcells::operators::rules
• delineate_compound_piecewiselinear() : smtrat::cadcells::operators::rules
• delineate_noop() : smtrat::cadcells::operators::rules
• direction() : smtrat::subtropical
• direction_for_equality() : smtrat::subtropical
• discriminant() : smtrat::cad::projection , smtrat::mcsat::onecellcad
• doesNotVanish() : smtrat::cad::projection
• duplicateElimination() : smtrat::mcsat::onecellcad