BDD Buddy BDD Buddy, ikili bir karar diyagramı kütüphanesidir.
Şimdi İndirin

BDD Buddy Sıralama ve Özet

BDD Buddy Etiketler

ikili ahbap Bdd İkili Karar Diyagram Kütüphanesi BDD Operasyonları

BDD Buddy Açıklama

BDD Buddy, ikili bir karar diyagramı kütüphanesidir. BDD Buddy, İkili Bir Karar Diyagramı Kütüphanesidir: birçok yüksek verimli vektöriz BDD işlemleri, dinamik değişken yeniden düzenleme, otomatik çöp toplama, otomatik referans sayımına sahip bir C ++ arayüzü ve çok daha fazlası. Burada sunulan BDD paketi bir Doktora parçası olarak yapıldı. JRN Lind-Nielsen tarafından sınırlı durum makinelerinin model kontrolünü kontrol ediyor. Paket, BDD'lere basit bir girişten BDD'lere tüm standart BDD işlemleri, yeniden düzenleme ve bir belgenin zenginliği ile dolu bir BDD paketine gelişmiştir. Paketin kullanımı son derece basittir; C / C ++ programları için sadece "BDD.H" dahildir ve "BDD" ile bağlantı kurun ve sonra çalışıyorsunuz ve çalışıyorsunuz. C ++ arayüzü ile referans sayma ve çöp toplama hakkında düşünmeniz bile gerekmez. Bu sürümde yeni yeni: · Yapı işlemi için Yapılandırma komut dosyasını kullanarak. · Örnekleri çalıştıran ve beklenen sonuçlarla karşılaştıran işleme komut dosyasını ekleme.

BDD Buddy İlgili Yazılım