ນີ້ແມ່ນຄໍາສັ່ງ abl ທີ່ສາມາດດໍາເນີນການໄດ້ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີໂດຍໃຊ້ຫນຶ່ງໃນຫຼາຍໆບ່ອນເຮັດວຽກອອນໄລນ໌ຂອງພວກເຮົາເຊັ່ນ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator
ໂຄງການ:
NAME
ເອື້ອຍໃຫຍ່ - ການສະແດງຄຳນຳໜ້າສຳລັບຟັງຊັນບູລີນ
ລາຍລະອຽດ
libablmmm.a ເປັນຫ້ອງສະໝຸດທີ່ສາມາດເປັນຕົວແທນຂອງຟັງຊັນ boolean ໃນຮູບແບບ LISP.
ABL ແມ່ນການເປັນຕົວແທນພາຍໃນຂອງ boolean function ທີ່ມີມາດຕະຖານ
ຜູ້ປະກອບການເປັນ OR, NOR, NAND, XOR, ບໍ່ແມ່ນ ແລະ AND. ABL ແມ່ນປະກອບດ້ວຍສອງເທົ່າ. doublet ແມ່ນ
ປະກອບດ້ວຍສອງພາກສະຫນາມທີ່ສາມາດເຂົ້າເຖິງໂດຍການທໍາງານໄດ້ #ກໍານົດ CAR ແລະ CDR. A
doublet ແມ່ນປະຕິບັດກັບ MBK chain_list.
ການສະແດງອອກ ແມ່ນຄໍາສັບທົ່ວໄປສໍາລັບຟັງຊັນ boolean ທີ່ສະແດງໂດຍ ABL. ການສະແດງອອກ
ສາມາດເປັນການສະແດງອອກຂອງປະລໍາມະນູຫຼືການສະແດງອອກຂອງຕົວປະຕິບັດການ. ຫນ້າທີ່ f = a ແມ່ນຕົວແທນ
ດ້ວຍການສະແດງອອກຂອງປະລໍາມະນູໃນຂະນະທີ່ f = (ຫຼື a b) ແມ່ນສະແດງໂດຍການສະແດງອອກຂອງຕົວປະຕິບັດການ. ອັນ
ການສະແດງອອກຂອງປະລໍາມະນູແມ່ນປະກອບດ້ວຍ doublet ດຽວທີ່ມີ ຕໍ່ໄປ ຕົວຊີ້ເທົ່າກັບ NULL ແລະ
ຂໍ້ມູນ ຕົວຊີ້ເທົ່າກັບຕົວຊີ້ຕົວຊີ້. ການສະແດງອອກຂອງປະລໍາມະນູຄົງທີ່ແມ່ນປະລໍາມະນູ
ການສະແດງອອກທີ່ມີສະຕຣິງ "'0' ຫຼື "'1'" ເປັນຕົວລະບຸ.
ການສະແດງອອກຂອງຕົວປະຕິບັດການແມ່ນສັບສົນຫຼາຍກ່ວາການສະແດງອອກຂອງປະລໍາມະນູ. ມັນເປັນບັນຊີລາຍຊື່ຂອງ
ລາຍການ, ລາຍການທໍາອິດແມ່ນຫົວຫນ້າປະຕິບັດການສະແດງອອກແລະລາຍການຕໍ່ໄປນີ້ແມ່ນ
ການໂຕ້ຖຽງຂອງການສະແດງອອກ. ມັນເປັນໄປໄດ້ທີ່ຈະໄປ trough ການໂຕ້ຖຽງໂດຍການໂທຫາ
ໃຊ້ງານໄດ້ #ກໍານົດ CDR. ຫຼັງຈາກນັ້ນ, ແຕ່ລະການໂຕ້ຖຽງແມ່ນສາມາດເຂົ້າເຖິງໄດ້ໂດຍ functional #ກໍານົດ CAR.
ການໂຕ້ຖຽງສາມາດ recursively ເປັນປະລໍາມະນູຫຼືການສະແດງອອກຂອງຕົວປະຕິບັດການ. ຄວາມເປັນມາຂອງ
operator expression ແມ່ນຈໍານວນຂອງການໂຕ້ຖຽງຂອງລະດັບທໍາອິດ.
ຫນ້າທີ່ແບ່ງອອກເປັນສອງກຸ່ມ, ຫນ້າທີ່ລະດັບຕ່ໍາແມ່ນຂຽນດ້ວຍ #ກໍານົດ
ແລະຖືກນໍາໃຊ້ໃນການຄຸ້ມຄອງແບບຟອມພາຍໃນ ABL, ຫນ້າທີ່ລະດັບສູງຖືກນໍາໃຊ້ໃນການຄຸ້ມຄອງ
ການສະແດງອອກ boolean. ຟັງຊັນທັງໝົດແມ່ນຖືກກໍານົດໄວ້ໃນໄຟລ໌ "prefbib.c" (#ກໍານົດ in
"logmmm.h").
ເຮັດວຽກ #ກໍານົດ
ATOM - ກວດສອບປະເພດຂອງການສະແດງອອກ (ປະລໍາມະນູຫຼືການສະແດງອອກຕົວປະຕິບັດ).
CAR - ກັບຄືນ ຂໍ້ມູນ ຕົວຊີ້ຂອງ doublet.
CADR - ກັບຄືນ ຂໍ້ມູນ ຕົວຊີ້ຂອງ ຕໍ່ໄປ ຕົວຊີ້ຂອງ doublet.
CDR - ກັບຄືນ ຕໍ່ໄປ ຕົວຊີ້ຂອງ doublet.
OPER - ສົ່ງຄືນເລກປະຕິບັດການຂອງຕົວປະຕິບັດການ.
VALUE_ATOM - ສົ່ງຄືນທີ່ກ່ຽວຂ້ອງ char * ຂອງການສະແດງອອກຂອງປະລໍາມະນູ.
ຫນ້າທີ່ ແລະ ຂັ້ນຕອນ
addHEExpr - ເພີ່ມການໂຕ້ຖຽງໃຫມ່ຢູ່ຫົວຂອງຕົວສະແດງຕົວປະຕິບັດການ.
addQExpr - ເພີ່ມການໂຕ້ຖຽງໃຫມ່ຢູ່ໃນແຖວຂອງການສະແດງຕົວປະຕິບັດການ.
ທຸກປີ - ຕອບຄ່າຂອງເຫດຜົນ ຫຼື ນຳໃຊ້ກັບຜົນໄດ້ຮັບຂອງ
ການນໍາໃຊ້ຫນ້າທີ່ກ່ຽວກັບການໂຕ້ຖຽງຂອງການສະແດງອອກຕົວປະຕິບັດການ.
ປ່ຽນOperExpr - ການປ່ຽນແປງຕົວປະຕິບັດຂອງຫົວຫນ້າຂອງການສະແດງອອກໄດ້.
charTooper - ປ່ຽນສະຕຣິງຕົວປະຕິບັດການເປັນເລກປະຕິບັດການ.
copyExpr - ສຳເນົາສຳນວນ.
ສ້າງAtom - ສ້າງການສະແດງອອກຂອງປະລໍາມະນູ.
ສ້າງBinExpr - ສ້າງການສະແດງອອກຕົວປະຕິບັດຖານສອງທີ່ມີການລວມຕົວຂອງທີ່ສຸດ
ຜູ້ປະກອບການ.
ສ້າງExpr - ສ້າງຫົວຫນ້າຂອງການສະແດງອອກຂອງປະຕິບັດການ.
ລຶບNumExpr - ເອົາການໂຕ້ຖຽງ i-th ໃນການສະແດງອອກຕົວປະຕິບັດການ.
devXor2Expr - ປ່ຽນ XOR 2 ເປັນ OR-AND.
devXorExpr - ເອົາ XOR ໃນການສະແດງອອກ.
displayExpr - ສະແດງການສະແດງອອກໃນຫມາຍເຫດນໍາຫນ້າ.
ສະແດງInfExpr - ສະແດງການສະແດງອອກໃນ notation infixed.
equalExpr - ກວດເບິ່ງວ່າສອງສຳນວນນັ້ນມີຄວາມເທົ່າກັນຢ່າງເຂັ້ມງວດ.
equalVarExpr - ກວດເບິ່ງວ່າສອງສໍານວນແມ່ນ syntactically ເທົ່າທຽມກັນ.
ທຸກໆExpr - ຕອບຄ່າຂອງເຫດຜົນ AND ນຳໃຊ້ກັບຜົນໄດ້ຮັບຂອງ
ການນໍາໃຊ້ຫນ້າທີ່ກ່ຽວກັບການໂຕ້ຖຽງຂອງການສະແດງອອກຕົວປະຕິບັດການ.
exprToChar - ປ່ຽນການສະແດງອອກເປັນສະຕຣິງ.
charToExpr - ປ່ຽນສະຕຣິງເປັນການສະແດງຜົນ.
flatArityExpr - flattens ຕົວປະຕິບັດການຂອງການສະແດງອອກ.
flatPolarityExpr - ແປ inverters ຂອງການສະແດງອອກເປັນລະດັບຂອງປະລໍາມະນູ
ສຳ ນວນ.
ຟຣີExpr - ປົດປ່ອຍການສະແດງອອກ.
identExpr - ໃຫ້ຕົວລະບຸຈາກການສະແດງອອກຂອງຕົວປະຕິບັດການ.
ຍາວExpr - ຕອບຈໍານວນການໂຕ້ຖຽງໃນການສະແດງຜົນ.
ແຜນທີ່CarExpr - ສ້າງການສະແດງອອກໃຫມ່ໂດຍການນໍາໃຊ້ຫນ້າທີ່ກັບການໂຕ້ຖຽງທັງຫມົດຂອງ
ການສະແດງອອກຂອງຜູ້ປະກອບການ.
ແຜນທີ່Expr - ນຳໃຊ້ຂັ້ນຕອນການໂຕ້ແຍ້ງທັງໝົດຂອງການສະແດງອອກຂອງຜູ້ດຳເນີນການ.
ສູງສຸດExpr - ສົ່ງຄືນການໂຕ້ຖຽງສູງສຸດຂອງການສະແດງຜົນຂອງຕົວປະຕິບັດການ.
minExpr - ສົ່ງຄືນການໂຕ້ຖຽງຕໍ່າສຸດຂອງການສະແດງຜົນຂອງຕົວປະຕິບັດການ.
normExpr - normalizes ການສະແດງອອກ.
ບໍ່ແມ່ນExpr - ຕື່ມການສະແດງອອກແລະໃນທີ່ສຸດເຮັດໃຫ້ງ່າຍດາຍ.
numberAtomExpr - ຕອບຈໍານວນປະລໍາມະນູໃນການສະແດງຜົນ.
numberOccExpr - ຕອບຈໍານວນເວລາທີ່ປະລໍາມະນູປາກົດຢູ່ໃນການສະແດງອອກ.
numberOperBinExpr - ສົ່ງຄືນຈຳນວນຕົວປະຕິບັດການໄບນາຣີທີ່ທຽບເທົ່າໃນການສະແດງຜົນ.
operToChar - ແປງໝາຍເລກຕົວປະຕິບັດການເປັນ string operator.
profExpr - ສົ່ງຄືນຄວາມເລິກຂອງການສະແດງຜົນ.
profAOExpr - ສົ່ງຄືນຄວາມເລິກຂອງການສະແດງຜົນໂດຍບໍ່ເອົາຕົວປ່ຽນເຂົ້າໃສ່
ບັນຊີ.
ຊອກຫາExpr - ຄົ້ນຫາອະຕອມສະເພາະໃນການສະແດງຜົນ.
searchNumExpr - ດຶງເອົາການໂຕ້ຖຽງ i-th ໃນການສະແດງຕົວປະຕິບັດການ.
ຊອກຫາOperExpr - ຄົ້ນຫາຕົວປະຕິບັດການໃນການສະແດງອອກ.
simplif10Expr - ເຮັດໃຫ້ຄວາມງ່າຍດາຍກ່ຽວກັບການສະແດງອອກລວມທັງປະລໍາມະນູຄົງທີ່
ສຳ ນວນ.
simplifNotExpr - ເຮັດໃຫ້ຄວາມງ່າຍຂອງການສະແດງອອກລວມທັງ inverters.
ຈັດລຽງExpr - ຄັດສະແດງອອກ.
substExpr - ສຳເນົາການສະແດງອອກໂດຍການປ່ຽນແທນອະຕອມທີ່ໃຫ້ໄວ້ໂດຍການສະແດງອອກ.
substPhyExpr - ທົດແທນການສະແດງອອກຂອງປະລໍາມະນູໂດຍການສະແດງອອກພາຍໃນ an
ການສະແດງອອກ.
supportChain_listExpr
- ສົ່ງຄືນການສະຫນັບສະຫນູນຂອງການສະແດງຜົນໃນ a chain_list.
ຮອງຮັບPtype_listExpr
- ສົ່ງຄືນການສະຫນັບສະຫນູນຂອງການສະແດງຜົນໃນ a ptype_list.
wPMExpr - ຕອບ 1 ຖ້າການຈັບຄູ່ຮູບແບບເປັນໄປໄດ້ລະຫວ່າງສອງ
ສຳ ນວນ.
ໃຊ້ abl ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net