Jest to polecenie bdd, które można uruchomić u dostawcy bezpłatnego hostingu OnWorks przy użyciu jednej z naszych wielu bezpłatnych stacji roboczych online, takich jak Ubuntu Online, Fedora Online, emulator online systemu Windows lub emulator online systemu MAC OS
PROGRAM:
IMIĘ
bdd — Mutli zredukowane uporządkowane binarne diagramy decyzyjne
OPIS
komiczny to biblioteka, która umożliwia reprezentowanie wyrażenia logicznego jako uporządkowanie wielokrotne
Binarne diagramy decyzyjne.
zobaczbddallocinfo - wyświetla informacje o pamięci.
Applybddnodenot – uzupełnia A komiczny.
zastosujbddnodeterm - stosuje operator na dwójce komiczny węzły
zastosujbddnode - stosuje operator na dwójce komiczny węzły
zastosujbddnodeite - oblicza operację logiczną JEŚLI-TO-ELSE.
Applybddnodelist - stosuje operator do a komiczny lista węzłów.
dodajbddassoc - tworzy nowe zmienne asocjacyjne.
addbddnodeassoc – dodaje A komiczny węzeł w powiązaniu zmiennej.
delbddassoc - usuwa powiązanie zmiennej.
delbddnodeassoc – usuwa A komiczny węzeł w powiązaniu zmiennej.
zniszczyćbddassoc - uwalnia wszystkie skojarzenia zmiennych.
zobaczbddassoc - wyświetla powiązania zmiennych.
sprawdźbddvar - sprawdza spójność zmiennej.
sprawdźbddindex - sprawdza spójność a komiczny index.
sprawdźbddoper - sprawdza spójność operatora.
sprawdźbddassoc - sprawdza powiązanie zmiennej.
sprawdźbddmaxwęzeł - sprawdza, czy osiągnięto maksymalny węzeł.
utwórz obwód bdd - tworzy komiczny obwód.
zresetuj obwód bdd - resetuje A komiczny obwód.
zniszczyć obwód bdd - uwalnia A komiczny obwód.
wyszukajbddobwód - przeszukuje określone wejście w obwodzie.
dodajbddobwód - dodaje nowe wejście w obwodzie.
dodajbddcircuitaux - dodaje zmienną pomocniczą w obwodzie.
szukajbddobwód - przeszukuje określone wyjście w obwodzie.
dodajbddobwód - dodaje nowe wyjście w obwodzie.
obwód delbdd - usuwa określone wyjście w obwodzie.
addbddcircuitable - konwertuje abl do komiczny węzeł.
konwertujbddcircuitabl
- konwertuje A komiczny węzeł do abl.
konwertowanybddcircuitsumabl
- konwertuje A komiczny węzeł do abl.
zobaczobwódbdd - wyświetla A komiczny obwód.
kofaktorbddnode - oblicza uogólniony kofaktor.
ograniczbddnode - zastępuje zmienną zero lub jeden.
węzeł komponowania bdd - zastępuje zmienną przez a komiczny węzeł.
konwertujbddindexabl - konwertuje A komiczny indeks do atomu abl.
konwertujbddmuxabl - konwertuje A komiczny węzeł do multipleksera.
konwertujbddnodeabl - konwertuje A komiczny węzeł do abl.
konwertujbddnodesumabl
- konwertuje A komiczny węzeł do abl.
istniejebddnodeassocon - oblicza kwantyfikację egzystencjalną.
istniejebddnodeassocoff
- oblicza kwantyfikację egzystencjalną.
system śmieciowy - zmusza A komiczny zbieranie śmieci.
sugerujebddnode – oblicza A komiczny oznacza to koniunkcję.
przeciąćbddnode - testy dla skrzyżowania.
markbddnode - zaznacza A komiczny węzeł.
odznaczbddnode - usuwa zaznaczenie komiczny węzeł.
getbddnodenum - pobiera liczbę węzłów w a komiczny.
pobierzbddnodesize - pobiera liczbę węzłów w a komiczny.
dodajbddwęzeł – dodaje nowy komiczny węzeł.
lista dodanych węzłów bdd - dodaje węzeł w a lista_łańcuchów.
delbddnode – usuwa A komiczny węzeł.
delbddnodelista - usuwa listę komiczny węzły
zobaczbddnode - wyświetla A komiczny węzeł.
incbddrefext - zwiększa liczbę odniesień zewnętrznych.
incbddrefint - zwiększa liczbę odniesień wewnętrznych.
decbddrefext - zmniejsza liczbę odniesień zewnętrznych.
decbdrefint - zmniejsza liczbę odniesień wewnętrznych.
ustawbddrefext - ustawia węzeł widoczny z zewnątrz.
unsetbddrefext - ustawia węzeł niewidoczny z zewnątrz.
wyczyśćbddsystemrefint
- usuwa wszystkie odniesienia wewnętrzne.
wyczyśćbddsystemrefext
- usuwa wszystkie odniesienia zewnętrzne.
clearbddsystemref - usuwa wszystkie odniesienia.
relprodbddnodeassoc - oblicza iloczyn relacji.
zmień kolejnośćbddsystemsimple
- zmienia kolejność komiczny węzły
zmień kolejnośćbddsystemwindow
- zmienia kolejność komiczny węzły
zmień kolejnośćbddsystemtop - zmienia kolejność komiczny węzły
zmień kolejnośćbddsystemdynamic
- ustawia parametry dynamicznej zmiany kolejności.
zadowolićbddnode - znajduje satysfakcjonującą ścieżkę dla a komiczny.
simpbddnodedcon - upraszcza A komiczny z nie obchodzi mnie to na planie.
simpbddnodedcoff - upraszcza A komiczny z nie obchodzi mnie to na jego przesunięciu
substbddnodeassoc - zastępuje zmienne przez komiczny węzły
getbddnodewsparcie – udziela wsparcia A komiczny węzeł.
wsparcie isbddvarin - sprawdza, czy zmienna pojawia się w a komiczny węzeł.
utwórz system bdd - tworzy komiczny pomimo napiętego harmonogramu
zresetuj system bdd - resetuje A komiczny pomimo napiętego harmonogramu
zniszczyć system bdd - uwalnia A komiczny pomimo napiętego harmonogramu
zobaczbddsystem - wyświetla A komiczny pomimo napiętego harmonogramu
wyświetl informacje o systemie bdd - wyświetla informacje statystyczne.
obwód testowy - debuguje a komiczny obwód.
dodajbddvar - tworzy nową zmienną.
dodajbddvarlast - tworzy nową zmienną.
najpierw dodajbddvar - tworzy nową zmienną.
dodajbddvarbefore - tworzy nową zmienną.
dodajbddvarpo - tworzy nową zmienną.
zamiataniebddvar - przeszukuje wszystkie nieużywane węzły w poszukiwaniu zmiennej.
swapbddvar - zamienia dwie sąsiadujące zmienne.
pobierzbddvarbyindex - konwertuje komiczny indeks do zmiennej liczby.
pobierzbddvarindex - konwertuje liczbę zmienną w a komiczny index.
pobierzbddvarnode – podaje komiczny węzeł zmiennej.
pobierzbddvarnodebyindex
– podaje komiczny węzeł zmiennej.
dodajbddvarauxsingle - tworzy zmienną pomocniczą.
addbddvarauxglobal - tworzy zmienną pomocniczą.
libBdd101.a:
allocbdduserfunkcja, allocbddheath, alokbddhnode, allocbddhoper, allocbddhnodetable,
allocbddhopertable, allocbddblock, allocbddnodeblock, allocbddvartree, allocbddvarchild,
allocbddvarnode, allocbddindexnode, allocbddvar, alokbddindex, alokbddassoc,
allocbddassocnode, allocbddnamein, allocbddindexin, system allocbdd, alokbddobwód,
zobaczbddallocinfo, Applybddnodenot, zastosujbddnodeterm, zastosujbddnode, zastosujbddnodeite,
Applybddnodelist, dodajbddassoc, addbddnodeassoc, delbddassoc, delbddnodeassoc,
zniszczyćbddassoc, zobaczbddassoc, dodajbddblok, utwórzbddblock, resetbddblock,
zniszczyćbddblock, zobaczbddblok, sprawdźbddvar, sprawdźbddindex, sprawdźbddoper, sprawdźbddassoc,
sprawdźbddmaxwęzeł, utwórz obwód bdd, zresetuj obwód bdd, zniszczyć obwód bdd, wyszukajbddobwód,
dodajbddobwód, dodajbddcircuitaux, szukajbddobwód, dodajbddobwód,
obwód delbdd, addbddcircuitable, konwertujbddcircuitabl, konwertowanybddcircuitsumabl,
zobaczobwódbdd, kofaktorbddnode, ograniczbddnode, węzeł komponowania bdd, konwertujbddindexabl,
konwertujbddmuxabl, konwertujbddnodeabl, konwertujbddnodesumabl, istniejebddnodeassocon,
istniejebddnodeassocoff, darmowa funkcja użytkownika bdd, darmowebddheath, freebddhnode, freebdhoper,
freebddhnodetable, darmowybddhopable, darmowybddblock, freebddnodeblock, darmowebddvartree,
freebddvarchild, freebddvarnode, freebddindexnode, freebddvar, bezpłatnybddindex, darmowebddassoc,
freebddassocnode, nazwa freebdd, wolnabddindeksin, darmowybddsystem, bezpłatny obwód,
system śmieciowy, getbddheathvar, getbddheath, delbddheath, ustawbddhnodefunc,
pobierzbddnodesize, pobierzbddhnodekey, pobierzbddhnodeindex, sprawdźbddhnode, utwórzbddhnodetable,
zniszczyćbddhnodetable, resetbddhnodetable, zmień rozmiarbddhnodetable, stretchbddnodetable,
dodajbddhnode, delbddnode, zobaczbddnode, widokbddhnodetable, zobaczbddindexnode,
zobaczbddvarnode, ustawbddhoperfunkcja, pobierzbddhopersize, pobierzbddhoperkey, utwórzbddhopertable,
zniszczyćbddhopable, resetbddhopable, dodajbddhoper, szukajbddhoper, zobaczbddhoper,
widokbddhopable, sugerujebddnode, przeciąćbddnode, markbddnode, odznaczbddnode,
getbddnodenum, pobierzbddnodesize, dodajbddwęzeł, lista dodanych węzłów bdd, delbddnode, delbddnodelista,
zobaczbddnode, incbddrefext, incbddrefint, decbddrefext, decbdrefint, ustawbddrefext,
unsetbddrefext, wyczyśćbddsystemrefint, wyczyśćbddsystemrefext, clearbddsystemref,
relprodbddnodeassoc, zmień kolejnośćbddvartreewindow2, zmień kolejnośćbddvartreewindow3,
zmień kolejnośćbddsystemsimple, zmień kolejnośćbddsystemwindow, zmień kolejnośćbddsystemtop,
zmień kolejnośćbddsystemdynamic, zmień rozmiarbddvarchild, zmień rozmiarbddvarnode, zmień rozmiarbddvar,
zmień rozmiarbddindexnode, zmień rozmiarbddindex, zmień rozmiarbddassocnode, zmieńrozmiarnazwybdd, zmień rozmiarbddindexin,
zadowolićbddnode, simpbddnodedcon, simpbddnodedcoff, substbddnodeassoc, getbddnodewsparcie,
wsparcie isbddvarin, utwórz system bdd, zresetuj system bdd, zniszczyć system bdd, zobaczbddsystem,
wyświetl informacje o systemie bdd, obwód testowy, addbdduserfunkcja, delbdfunkcja użytkownika, funkcja execbdduser,
zniszcz funkcję bdduserfunc, nowybddvar, dodajbddvar, dodajbddvarlast, najpierw dodajbddvar, dodajbddvarbefore,
dodajbddvarpo, zamiataniebddvar, swapbddvar, pobierzbddvarbyindex, pobierzbddvarindex, pobierzbddvarnode,
pobierzbddvarnodebyindex, dodajbddvarauxsingle, addbddvarauxglobal, szukajbddvartree,
deltabddvartree, shiftbddvartree, dodajbddvartree, swapbddvartree, utwórzbddvartree,
resetbddvartree, zniszczyćbddvartree, zobaczbddvartree.
Korzystaj z bdd online, korzystając z usług onworks.net
