Lineair beslissingsdiagram Een bibliotheek om u te helpen met beslissingsdiagrammen.
Download nu

Lineair beslissingsdiagram Rangschikking & Samenvatting

Lineair beslissingsdiagram Tags

analyse Analyseren rekenkundig besluitondersteuning beslissing beslissing adviseur zakelijke beslissing programma-besluit Beslisser beslissingsdiagram beslissingsdisplayer juiste beslissing diagrammen beslissing analyseren beslissingsalgoritme Testbeslissing algoritme beslissingsregel diagrammen synchroniseren Besluitranglijst beslissingshelper lineaire rekenkundig predikaatabstractie maak Venn-diagrammen .net-diagrammen besluitmarkering

Lineair beslissingsdiagram Beschrijving

LDD is een gegevensstructuur voor het vertegenwoordigen van formules in lineaire rekenkundige (LA) en zijn fragmenten. Het is ontworpen om efficiënt te zijn voor taken die de kern vormen van veel programma-analyse en softwaremodelcontrolechnieken (bijvoorbeeld predicaatabstractie). Dergelijke taken omvatten Booleaanse manipulatie en existentiële kwantificering van numerieke variabelen van LA-formules. LDD's kunnen worden gezien als een uitbreiding van verschilbeslissingsdiagrammen (DDD's) naar Full LA, en worden geïmplementeerd bovenop het state-of-the-art cudd-pakket. Hieronder vindt u links naar LDD-gerelateerde documenten en software-releases.

Lineair beslissingsdiagram Gerelateerde software