bdd - ອອນລາຍໃນຄລາວ

ໂຄງການ:

NAME

bdd - Mutli ຫຼຸດຜ່ອນການສັ່ງແຜນວາດການຕັດສິນໃຈຖານສອງ

ລາຍລະອຽດ

bdd ເປັນຫ້ອງສະໝຸດທີ່ສາມາດສະແດງການສະແດງອອກ boolean ເປັນ Multi Reduced Ordered
ແຜນວາດການຕັດສິນໃຈຖານສອງ.

ເບິ່ງbddallocinfo - ສະ​ແດງ​ຂໍ້​ມູນ​ຄວາມ​ຊົງ​ຈໍາ​.

ນຳໃຊ້bddnodenot - ເສີມ ກ bdd.

ນຳໃຊ້bddnodeterm - ໃຊ້ຕົວປະຕິບັດການສອງ bdd ຂໍ້.

ນຳໃຊ້bddnode - ໃຊ້ຕົວປະຕິບັດການສອງ bdd ຂໍ້.

ນຳໃຊ້bddnodeite - ຄິດໄລ່ການດໍາເນີນງານຕາມເຫດຜົນ IF-THEN-ELSE.

ລາຍຊື່ສະຫມັກ - ໃຊ້ຕົວປະຕິບັດການກັບ a bdd ບັນຊີລາຍຊື່ nodes.

addbddassoc - ສ້າງຕົວແປສະມາຄົມໃຫມ່.

addbddnodeassoc - ເພີ່ມ a bdd node ໃນສະມາຄົມຕົວແປ.

delbddassoc - ລຶບສະມາຄົມຕົວແປ.

delbddnodeassoc - ລົບ ກ bdd node ໃນສະມາຄົມຕົວແປ.

ທໍາລາຍbddassoc - ປົດປ່ອຍທຸກສະມາຄົມທີ່ປ່ຽນແປງໄດ້.

viewbddassoc - ສະ​ແດງ​ສະ​ມາ​ຄົມ​ຕົວ​ປ່ຽນ​ແປງ​.

checkbddvar - ກວດເບິ່ງຄວາມສອດຄ່ອງຂອງຕົວແປ.

checkbddindex - ກວດ​ສອບ​ຄວາມ​ສອດ​ຄ່ອງ​ຂອງ a bdd ດັດຊະນີ.

checkbddoper - ກວດເບິ່ງຄວາມສອດຄ່ອງຂອງຕົວປະຕິບັດການ.

checkbddassoc - ກວດ​ສອບ​ການ​ພົວ​ພັນ​ຕົວ​ປ່ຽນ​ແປງ​.

checkbddmaxnode - ກວດ​ສອບ​ຖ້າ​ຫາກ​ວ່າ node ສູງ​ສຸດ​ບັນ​ລຸ​ໄດ້​.

ສ້າງbddcircuit - ສ້າງເປັນ bdd ວົງຈອນ.

resetbddcircuit - ປັບ​ເປັນ​ bdd ວົງຈອນ.

ວົງຈອນປິດ - ປົດປ່ອຍ ກ bdd ວົງຈອນ.

ຊອກຫາbddcircuitin - ຄົ້ນຫາວັດສະດຸປ້ອນທີ່ລະບຸໄວ້ໃນວົງຈອນ.

addbddcircuitin - ເພີ່ມການປ້ອນຂໍ້ມູນໃໝ່ໃນວົງຈອນ.

addbddcircuitaux - ເພີ່ມຕົວແປຕົວຊ່ວຍໃນວົງຈອນ.

ຄົ້ນຫາbddcircuitout - ຄົ້ນຫາຜົນຜະລິດທີ່ລະບຸໄວ້ໃນວົງຈອນ.

addbddcircuitout - ເພີ່ມຜົນຜະລິດໃຫມ່ໃນວົງຈອນ.

delbddcircuitout - ລຶບຜົນຜະລິດທີ່ລະບຸໄວ້ໃນວົງຈອນ.

addbddcircuitabl - ແປງເປັນ ເອື້ອຍໃຫຍ່ to a bdd ຂໍ້.

convertbddcircuitabl
- ແປງ ກ bdd node ກັບ an ເອື້ອຍໃຫຍ່.

convertbddcircuitsumabl
- ແປງ ກ bdd node ກັບ an ເອື້ອຍໃຫຍ່.

viewbddcircuit - ສະ​ແດງ a bdd ວົງຈອນ.

cofactorbddnode - ຄິດໄລ່ cofactor ທົ່ວໄປ.

restrictbddnode - ແທນຕົວແປດ້ວຍສູນ ຫຼືໜຶ່ງ.

ປະກອບ - ແທນຕົວແປດ້ວຍ a bdd ຂໍ້.

convertbddindexable - ແປງ ກ bdd ດັດສະນີເປັນປະລໍາມະນູ ເອື້ອຍໃຫຍ່.

ປ່ຽນbddmuxabl - ແປງ ກ bdd node ກັບ multiplexor.

convertbddnodeabl - ແປງ ກ bdd node ກັບ an ເອື້ອຍໃຫຍ່.

ແປງbddnodesumabl
- ແປງ ກ bdd node ກັບ an ເອື້ອຍໃຫຍ່.

ມີຢູ່bddnodeassocon - ຄິດໄລ່ປະລິມານທີ່ມີຢູ່ແລ້ວ.

ມີຢູ່bddnodeassocoff
- ຄິດໄລ່ປະລິມານທີ່ມີຢູ່ແລ້ວ.

ລະບົບຂີ້ເຫຍື້ອ - ກໍາລັງ ກ bdd ການເກັບຂີ້ເຫຍື້ອ.

implybddnode - ຄອມ​ພິວ​ເຕີ ກ bdd ນັ້ນຫມາຍເຖິງການສົມທົບ.

intersectbddnode - ການ​ທົດ​ສອບ​ສໍາ​ລັບ​ການ​ຕັດ​ກັນ​.

markbddnode - ເຄື່ອງໝາຍ ກ bdd ຂໍ້.

unmarkbddnode - ລຶບເຄື່ອງໝາຍ bdd ຂໍ້.

getbddnodenum - ໄດ້ຮັບຈໍານວນຂອງ nodes ໃນ a bdd.

getbddnodesize - ໄດ້ຮັບຈໍານວນຂອງ nodes ໃນ a bdd.

addbddnode - ເພີ່ມ​ໃຫມ່​ bdd ຂໍ້.

addbddnodelist - ເພີ່ມ node ໃນ a chain_list.

delbddnode - ລົບ ກ bdd ຂໍ້.

delbddnodelist - ລຶບ​ບັນ​ຊີ​ລາຍ​ການ​ຂອງ​ bdd ຂໍ້.

viewbddnode - ສະ​ແດງ a bdd ຂໍ້.

incbdrefext - ເພີ່ມຈໍານວນຂອງການອ້າງອິງພາຍນອກ.

incbddrefint - ເພີ່ມຈໍານວນການອ້າງອີງພາຍໃນ.

decbdrefext - ຫຼຸດລົງຈໍານວນຂອງການອ້າງອິງພາຍນອກ.

decbddrefint - ຫຼຸດຈໍານວນການອ້າງອີງພາຍໃນ.

setbddrefext - ກໍານົດ node ເບິ່ງເຫັນຈາກພາຍນອກ.

unsetbddrefext - ກໍານົດ node ເບິ່ງເຫັນຈາກພາຍນອກ.

clearbddsystemrefint
- ລຶບການອ້າງອີງພາຍໃນທັງໝົດ.

clearbddsystemrefext
- ລ້າງ​ການ​ອ້າງ​ອີງ​ພາຍ​ນອກ​ທັງ​ຫມົດ​.

clearbddsystemref - ລ້າງ​ການ​ອ້າງ​ອີງ​ທັງ​ຫມົດ​.

relprodbddnodeassoc - ຄິດ​ໄລ່​ຜະ​ລິດ​ຕະ​ພັນ​ທີ່​ກ່ຽວ​ຂ້ອງ​.

reorderbdd ລະບົບງ່າຍດາຍ
- reorders ໄດ້ bdd ຂໍ້.

reorderbddsystemwindow
- reorders ໄດ້ bdd ຂໍ້.

reorderbddsystemtop - reorders ໄດ້ bdd ຂໍ້.

reorderbddsystemdynamic
- ກໍານົດພາລາມິເຕີ reorder ແບບເຄື່ອນໄຫວ.

ພໍໃຈbddnode - ຊອກຫາເສັ້ນທາງທີ່ພໍໃຈສໍາລັບ a bdd.

simpbddnodedcon - ງ່າຍ a bdd ດ້ວຍຄວາມບໍ່ສົນໃຈໃນການຕັ້ງຄ່າຂອງມັນ.

simpbddnodedcoff - ງ່າຍ a bdd ກັບບໍ່ສົນໃຈ off-set ຂອງຕົນ

substbddnodeassoc - ແທນຕົວແປດ້ວຍ bdd ຂໍ້.

getbddnode ສະຫນັບສະຫນູນ - ໃຫ້ການສະໜັບສະໜູນຂອງ ກ bdd ຂໍ້.

isbddvarin ສະຫນັບສະຫນູນ - ກວດເບິ່ງວ່າຕົວແປປາກົດຢູ່ໃນ a bdd ຂໍ້.

ສ້າງລະບົບbdd - ສ້າງເປັນ bdd ລະບົບ.

resetbdd ລະ​ບົບ​ - ປັບ​ເປັນ​ bdd ລະບົບ.

ທໍາ​ລາຍ​ລະ​ບົບ​bdd​ - ປົດປ່ອຍ ກ bdd ລະບົບ.

ລະບົບ viewbdd - ສະ​ແດງ a bdd ລະບົບ.

viewbddsysteminfo - ສະ​ແດງ​ຂໍ້​ມູນ​ສະ​ຖິ​ຕິ​.

testbddcircuit - debbugs ກ bdd ວົງຈອນ.

addbddvar - ສ້າງຕົວແປໃຫມ່.

addbddvarlast - ສ້າງຕົວແປໃຫມ່.

addbddvarfirst - ສ້າງຕົວແປໃຫມ່.

addbddvar ກ່ອນ - ສ້າງຕົວແປໃຫມ່.

addbddvarafter - ສ້າງຕົວແປໃຫມ່.

sweepbddvar - ກວາດທຸກ nodes ທີ່ບໍ່ໄດ້ໃຊ້ສໍາລັບຕົວແປ.

swapbddvar - ແລກປ່ຽນສອງຕົວແປທີ່ຕິດກັນ.

getbddvarbyindex - ແປງ bdd ດັດສະນີເປັນຕົວເລກຕົວແປ.

getbddvarindex - ປ່ຽນຕົວເລກຕົວແປໃນ a bdd ດັດຊະນີ.

getbddvarnode - ໃຫ້ bdd node ຂອງຕົວແປ.

getbddvarnodebyindex
- ໃຫ້ bdd node ຂອງຕົວແປ.

addbddvarauxsingle - ສ້າງຕົວແປຊ່ວຍ.

addbddvarauxglobal - ສ້າງຕົວແປຊ່ວຍ.

libBdd101.a :

allocbdduserfunc, allocbddheath, allocbddhnode, allocbddhoper, allocbddhnodetable,
allocbdhopertable, allocbddblock, allocbddnodeblock, allocbddvartree, allocbddvarchild,
allocbddvarnode, allocbddindexnode, allocbdvar, allocbddindex, allocbddassoc,
allocbddassocnode, allocbddnamein, allocbddindexin, ລະບົບ allocbdd, allocbddcircuit,
ເບິ່ງbddallocinfo, ນຳໃຊ້bddnodenot, ນຳໃຊ້bddnodeterm, ນຳໃຊ້bddnode, ນຳໃຊ້bddnodeite,
ລາຍຊື່ສະຫມັກ, addbddassoc, addbddnodeassoc, delbddassoc, delbddnodeassoc,
ທໍາລາຍbddassoc, viewbddassoc, addbddblock, ສ້າງbddblock, resetbddblock,
bddblock ທໍາລາຍ, viewbddblock, checkbddvar, checkbddindex, checkbddoper, checkbddassoc,
checkbddmaxnode, ສ້າງbddcircuit, resetbddcircuit, ວົງຈອນປິດ, ຊອກຫາbddcircuitin,
addbddcircuitin, addbddcircuitaux, ຄົ້ນຫາbddcircuitout, addbddcircuitout,
delbddcircuitout, addbddcircuitabl, convertbddcircuitabl, convertbddcircuitsumabl,
viewbddcircuit, cofactorbddnode, restrictbddnode, ປະກອບ, convertbddindexable,
ປ່ຽນbddmuxabl, convertbddnodeabl, ແປງbddnodesumabl, ມີຢູ່bddnodeassocon,
ມີຢູ່bddnodeassocoff, freebdduserfunc, ອິດສະຫຼະ, freebddhnode, freebddhoper,
freebddhnodetable, freebddhopertable, freebddblock, freebddnodeblock, freebddvartree,
freebddvarchild, freebddvarnode, freebddindexnode, freebddvar, freebddindex, freebddassoc,
freebddassocnode, freebddnamein, freebddindexin, ລະບົບ freebdd, freebddcircuit,
ລະບົບຂີ້ເຫຍື້ອ, getbddheathvar, getbddheath, delbddheath, setbddhnodefunc,
getbddhnodesize, getbddhnodekey, getbddhnodeindex, checkbddhnode, ສ້າງbddhnodetable,
ທໍາລາຍbddhnodetable, resetbddhnodetable, ສາມາດປັບຂະໜາດໄດ້, stretchbddhnodetable,
addbddhnode, delbddhnode, viewbddhnode, viewbddhnodetable, viewbddindexnode,
viewbddvarnode, setbddhoperfunc, getbddhopersize, getbddhoperkey, ສ້າງbddhopertable,
destroybdhopertable, resetbdhopertable, addbddhoper, ຄົ້ນຫາbddhoper, viewbddhoper,
viewbddhopertable, implybddnode, intersectbddnode, markbddnode, unmarkbddnode,
getbddnodenum, getbddnodesize, addbddnode, addbddnodelist, delbddnode, delbddnodelist,
viewbddnode, incbdrefext, incbddrefint, decbdrefext, decbddrefint, setbddrefext,
unsetbddrefext, clearbddsystemrefint, clearbddsystemrefext, clearbddsystemref,
relprodbddnodeassoc, reorderbddvartreewindow2, reorderbddvartreewindow3,
reorderbdd ລະບົບງ່າຍດາຍ, reorderbddsystemwindow, reorderbddsystemtop,
reorderbddsystemdynamic, ປັບຂະໜາດbddvarchild, ປັບຂະໜາດbddvarnode, ປັບຂະຫນາດ,
ປັບຂະໜາດbddindexnode, ປັບຂະໜາດbddindex, ປັບຂະໜາດbddassocnode, ປັບຂະໜາດbddnamein, ປັບຂະໜາດbddindexin,
ພໍໃຈbddnode, simpbddnodedcon, simpbddnodedcoff, substbddnodeassoc, getbddnode ສະຫນັບສະຫນູນ,
isbddvarin ສະຫນັບສະຫນູນ, ສ້າງລະບົບbdd, resetbdd ລະ​ບົບ​, ທໍາ​ລາຍ​ລະ​ບົບ​bdd​, ລະບົບ viewbdd,
viewbddsysteminfo, testbddcircuit, addbdduserfunc, delbdduserfunc, execbdduserfunc,
ທໍາລາຍbdduserfunc, newbddvar, addbddvar, addbddvarlast, addbddvarfirst, addbddvar ກ່ອນ,
addbddvarafter, sweepbddvar, swapbddvar, getbddvarbyindex, getbddvarindex, getbddvarnode,
getbddvarnodebyindex, addbddvarauxsingle, addbddvarauxglobal, ຊອກຫາbddvartree,
deltabddvartree, shiftbddvartree, addbddvartree, swapbddvartree, ສ້າງbddvartree,
resetbddvartree, ທໍາລາຍbddvartree, viewbddvartree.

ໃຊ້ bdd ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net