bdd - Trực tuyến trên đám mây

CHƯƠNG TRÌNH:

TÊN

bdd - Sơ đồ quyết định nhị phân có thứ tự giảm đột biến

MÔ TẢ

hài hước là một thư viện cho phép biểu diễn một biểu thức boolean dưới dạng Nhiều Giảm có Thứ tự
Sơ đồ Quyết định Nhị phân.

xembddallocinfo - hiển thị thông tin bộ nhớ.

áp dụngbddnodenot - bổ sung a hài hước.

áp dụngbddnodeterm - áp dụng một toán tử trên hai hài hước điểm giao.

áp dụngbddnode - áp dụng một toán tử trên hai hài hước điểm giao.

áp dụngbddnodeite - tính toán phép toán logic IF-THEN-ELSE.

áp dụngbddnolist - áp dụng một opertor cho một hài hước danh sách các nút.

addbdassoc - tạo một biến kết hợp mới.

addbddnodeassoc - thêm một hài hước nút trong một liên kết biến.

delbdassoc - Xóa một liên kết biến.

delbddnodeassoc - xóa một hài hước nút trong một liên kết biến.

Destbddassoc - Giải phóng tất cả các liên kết biến.

xembddassoc - hiển thị các liên kết biến.

checkbddvar - kiểm tra tính liên kết của một biến.

kiểm trabddindex - kiểm tra tính chặt chẽ của một hài hước mục lục.

người kiểm tra - ckecks tính liên kết của một toán tử.

trabddasoc - kiểm tra một liên kết biến.

kiểm trabddmaxnode - kiểm tra xem có đạt đến nút tối đa hay không.

tạobdd Circuit - tạo ra một hài hước mạch.

thiết lập lạibddmạch - đặt lại một hài hước mạch.

Destbddcircuit - giải phóng một hài hước mạch.

searchbdd Circuitin - tìm kiếm một đầu vào được chỉ định trong một mạch.

addbdd Circuitin - thêm một đầu vào mới trong một mạch.

addbdd Circuitaux - thêm một biến phụ trợ trong một mạch.

searchbddcycleout - tìm kiếm một đầu ra xác định trong một mạch.

addbddcycleout - thêm một đầu ra mới trong một mạch.

delbddcycleout - xóa một đầu ra xác định trong một mạch.

addbddcycleablel - chuyển đổi một abl đến một hài hước nút.

convertbddcycleablel
- chuyển đổi một hài hước nút đến một abl.

convertbdd Circuitsumable
- chuyển đổi một hài hước nút đến một abl.

viewbddmạch - hiển thị một hài hước mạch.

cofactorbddnode - tính toán cofactor tổng quát.

limitbddnode - thay thế một biến bằng không hoặc một.

compobddnode - thay thế một biến bằng một hài hước nút.

convertbddindexable - chuyển đổi một hài hước lập chỉ mục cho một nguyên tử abl.

convertbddmuxab - chuyển đổi một hài hước đến một bộ ghép kênh.

chuyển đổibddnodeablel - chuyển đổi một hài hước nút đến một abl.

chuyển đổibddnodesumable
- chuyển đổi một hài hước nút đến một abl.

tồn tạibddnodeassocon - tính toán một định lượng tồn tại.

tồn tạibddnodeassocoff
- tính toán một định lượng tồn tại.

hệ thống rác - lực lượng a hài hước thu gom rác thải.

ngụ ýbddnode - tính toán một hài hước điều đó ngụ ý một liên từ.

interectbddnode - kiểm tra giao lộ.

đánh dấubddnode - đánh dấu một hài hước nút.

bỏ đánh dấubddnode - xóa một đánh dấu hài hước nút.

getbddnodenum - lấy số lượng nút trong một hài hước.

getbddnodesize - lấy số lượng nút trong một hài hước.

addbddnode - thêm một cái mới hài hước nút.

addbddnolist - thêm một nút trong một danh sách chuỗi.

nút delbdd - xóa một hài hước nút.

delbddnolist - xóa danh sách hài hước điểm giao.

viewbddnode - hiển thị một hài hước nút.

incbddrefext - tăng số lượng tham chiếu bên ngoài.

incbddrefint - tăng số lượng tham chiếu nội bộ.

decbddreext - giảm số lượng tham chiếu bên ngoài.

debddrefint - giảm số lượng tham chiếu nội bộ.

setbddrefext - thiết lập một nút có thể nhìn thấy từ bên ngoài.

unsetbddrefext - Đặt một nút vô hình từ bên ngoài.

Clearbddsystemreint
- xóa tất cả các tài liệu tham khảo nội bộ.

Clearbddsystemrefext
- Xóa tất cả các tham chiếu bên ngoài.

Clearbddsystemref - xóa tất cả các tài liệu tham khảo.

relprodbddnodeassoc - tính toán một sản phẩm quan hệ.

sắp xếp lại bddsystemđơn giản
- sắp xếp lại hài hước điểm giao.

sắp xếp lại bddsystemwindow
- sắp xếp lại hài hước điểm giao.

sắp xếp lạibddsystemtop - sắp xếp lại hài hước điểm giao.

sắp xếp lại bddsystemdynamic
- thiết lập các tham số sắp xếp lại động.

thoả mãn - tìm một con đường thỏa mãn cho một hài hước.

simpbddnodcon - đơn giản hóa một hài hước với không quan tâm trên thiết lập của nó.

simpbddnodedcoff - đơn giản hóa một hài hước không quan tâm đến nó

Subbddnodeassoc - các biến thay thế bằng hài hước điểm giao.

hỗ trợ getbddnode - cung cấp cho sự hỗ trợ của một hài hước nút.

hỗ trợ isbddvarin - kiểm tra xem một biến có xuất hiện trong một hài hước nút.

tạobddsystem - tạo ra một hài hước hệ thống.

đặt lại hệ thống bdd - đặt lại một hài hước hệ thống.

tiêu diệt hệ thống - giải phóng một hài hước hệ thống.

hệ thống xembdd - hiển thị một hài hước hệ thống.

viewbddsysteminfo - hiển thị thông tin thống kê.

testbddmạch - gỡ lỗi a hài hước mạch.

addbddvar - tạo một biến mới.

thêmbddvarlast - tạo một biến mới.

thêmbddvarfirst - tạo một biến mới.

addbddvarb Before - tạo một biến mới.

thêmbddvarafter - tạo một biến mới.

scanbddvar - quét tất cả các nút không sử dụng cho một biến.

trao đổibddvar - hoán đổi hai biến đối nhau.

getbddvarbyindex - người chuyển đổi hài hước chỉ mục cho một số biến.

getbddv meex - chuyển đổi một số biến trong một hài hước mục lục.

getbddvarnode - đưa ra hài hước nút của một biến.

getbddvarnodebyindex
- đưa ra hài hước nút của một biến.

thêmbddvarauxđơn - tạo một biến phụ.

thêmbddvarauxglobal - tạo một biến phụ.

libBdd101.a:

phân bổbdduserfunc, phân bổbddheath, phân bổbddhnode, phân bổbddhoper, phân bổbddhnodetable,
phân bổbddhopertable, phân bổbddblock, phân bổbddnodeblock, phân bổbddvartree, phân bổbddvarchild,
phân bổbddvarnode, phân bổbddindexnode, phân bổbddvar, phân bổbddindex, phân bổbddassoc,
phân bổbddassocnode, phân bổbddnamein, phân bổbddindexin, phân bổ, phân bổbddcircuit,
xembddallocinfo, áp dụngbddnodenot, áp dụngbddnodeterm, áp dụngbddnode, áp dụngbddnodeite,
áp dụngbddnolist, addbdassoc, addbddnodeassoc, delbdassoc, delbddnodeassoc,
Destbddassoc, xembddassoc, addbddblock, tạobddblock, đặt lạibddblock,
Destbddblock, lượt xembddblock, checkbddvar, kiểm trabddindex, người kiểm tra, trabddasoc,
kiểm trabddmaxnode, tạobdd Circuit, thiết lập lạibddmạch, Destbddcircuit, searchbdd Circuitin,
addbdd Circuitin, addbdd Circuitaux, searchbddcycleout, addbddcycleout,
delbddcycleout, addbddcycleablel, convertbddcycleablel, convertbdd Circuitsumable,
viewbddmạch, cofactorbddnode, limitbddnode, compobddnode, convertbddindexable,
convertbddmuxab, chuyển đổibddnodeablel, chuyển đổibddnodesumable, tồn tạibddnodeassocon,
tồn tạibddnodeassocoff, freebdduserfunc, freebddheath, freebddhnode, freebddhoper,
miễn phí, miễn phíbddhopertable, freebddblock, freebddnodeblock, freebddvartree,
freebddvarchild, freebddvarnode, freebddindexnode, freebddvar, freebddindex, freebdassoc,
freebdassocnode, freebddnamein, freebddindexin, hệ thống miễn phí, freebddcycle,
hệ thống rác, getbddheathvar, getbddheath, delbddheath, setbddhnodefunc,
getbddhnodesize, getbddhnodekey, getbddhnodeindex, nút kiểm tra, tạobddhnodetable,
tiêu diệt được, resetbddhnodetable, thay đổi kích thướcbddhnodetable, co giãn được,
addbddhnode, delbddhnode, viewbddhnode, xembddhnodetable, viewbddindexnode,
xembddvarnode, setbddhoperfunc, getbddhopersize, getbddhoperkey, tạobddhopertable,
Destbddhopertable, resetbddhopertable, addbddhoper, tìm kiếmbddhoper, xembddhoper,
xembddhopertable, ngụ ýbddnode, interectbddnode, đánh dấubddnode, bỏ đánh dấubddnode,
getbddnodenum, getbddnodesize, addbddnode, addbddnolist, nút delbdd, delbddnolist,
viewbddnode, incbddrefext, incbddrefint, decbddreext, debddrefint, setbddrefext,
unsetbddrefext, Clearbddsystemreint, Clearbddsystemrefext, Clearbddsystemref,
relprodbddnodeassoc, sắp xếp lại bddvartreewindow2, sắp xếp lại bddvartreewindow3,
sắp xếp lại bddsystemđơn giản, sắp xếp lại bddsystemwindow, sắp xếp lạibddsystemtop,
sắp xếp lại bddsystemdynamic, thay đổi kích thướcbddvarchild, thay đổi kích thướcbddvarnode, thay đổi kích thướcbddvar,
thay đổi kích thướcbddindexnode, thay đổi kích thướcbddindex, thay đổi kích thướcbddassocnode, thay đổi kích thướcbddnamein, thay đổi kích thướcbddindexin,
thoả mãn, simpbddnodcon, simpbddnodedcoff, Subbddnodeassoc, hỗ trợ getbddnode,
hỗ trợ isbddvarin, tạobddsystem, đặt lại hệ thống bdd, tiêu diệt hệ thống, hệ thống xembdd,
viewbddsysteminfo, testbddmạch, addbdduserfunc, delbdduserfunc, executebdduserfunc,
Destbdduserfunc, newbddvar, addbddvar, thêmbddvarlast, thêmbddvarfirst, addbddvarb Before,
thêmbddvarafter, scanbddvar, trao đổibddvar, getbddvarbyindex, getbddv meex, getbddvarnode,
getbddvarnodebyindex, thêmbddvarauxđơn, thêmbddvarauxglobal, tìm kiếmbddvartree,
deltabddvartree, shiftbddvartree, addbddvartree, trao đổibddvartree, tạobddvartree,
đặt lạibddvartree, Destbddvartree, xembddvartree.

Sử dụng bdd trực tuyến bằng các dịch vụ onworks.net