abl - ออนไลน์ในคลาวด์

โครงการ:

ชื่อ

ABL - การแสดงคำนำหน้าสำหรับฟังก์ชันบูลีน

DESCRIPTION

libabmmmm.a เป็นไลบรารีที่ช่วยให้แสดงฟังก์ชันบูลีนในรูปแบบที่เหมือน LISP
ABL เป็นตัวแทนภายในนำหน้าสำหรับฟังก์ชันบูลีนที่มีมาตรฐาน
ตัวดำเนินการเช่น OR,NOR,NAND,XOR,NOT และ AND ABL นั้นประกอบด้วยคู่เท่านั้น ดับเบิ้ลคือ
ประกอบด้วยสองฟิลด์ที่สามารถเข้าถึงได้โดยฟังก์ชันnal #กำหนด รถ และ CDR.
doublet ถูกนำไปใช้กับ MBK chain_list.
การแสดงออก เป็นคำทั่วไปสำหรับฟังก์ชันบูลีนที่แสดงโดย ABL การแสดงออก
สามารถเป็นนิพจน์อะตอมหรือนิพจน์โอเปอเรเตอร์ ฟังก์ชั่น f = a เป็นตัวแทน
โดยการแสดงออกของอะตอมในขณะที่ f = (หรือ a b) ถูกแสดงโดยนิพจน์โอเปอเรเตอร์ หนึ่ง
การแสดงออกของอะตอมประกอบด้วย doublet เดียวที่มี ถัดไป ตัวชี้เท่ากับ NULL และ
DATA ตัวชี้เท่ากับตัวชี้ตัวระบุ นิพจน์อะตอมคงที่คืออะตอม
นิพจน์ที่มีสตริง "'0'" หรือ "'1'" เป็นตัวระบุ
นิพจน์โอเปอเรเตอร์ซับซ้อนกว่านิพจน์อะตอม มันเป็นรายการของ
รายการ รายการแรกคือโอเปอเรเตอร์ส่วนหัวของนิพจน์และรายการต่อไปนี้คือ
อาร์กิวเมนต์ของนิพจน์ เป็นไปได้ที่จะผ่านอาร์กิวเมนต์โดยเรียก
ฟังก์ชันนัล #กำหนด CDR. จากนั้นแต่ละอาร์กิวเมนต์สามารถเข้าถึงได้โดย functionnal #กำหนด รถ.
อาร์กิวเมนต์สามารถเรียกซ้ำในนิพจน์อะตอมหรือโอเปอเรเตอร์ อาริตี้ของ an
นิพจน์โอเปอเรเตอร์คือจำนวนอาร์กิวเมนต์ของระดับแรก
ฟังก์ชันแบ่งออกเป็นสองกลุ่ม ฟังก์ชันระดับต่ำเขียนด้วย #กำหนด
และใช้สำหรับจัดการรูปแบบภายใน ABL ฟังก์ชันระดับสูงจะใช้ในการจัดการ
นิพจน์บูลีน ฟังก์ชั่นทั้งหมดถูกกำหนดไว้ในไฟล์ "prefbib.c" (#กำหนด in
"logmmm.h")

ฟังก์ชั่น #กำหนด

ATOM - ตรวจสอบชนิดของนิพจน์ (นิพจน์อะตอมหรือตัวดำเนินการ)

รถ - ส่งคืน DATA ตัวชี้ของดับเบิ้ล

CADR - ส่งคืน DATA ตัวชี้ของ ถัดไป ตัวชี้ของดับเบิ้ล

CDR - ส่งคืน ถัดไป ตัวชี้ของดับเบิ้ล

ปฏิบัติการ - ส่งกลับหมายเลขโอเปอเรเตอร์ของนิพจน์โอเปอเรเตอร์

VALUE_ATOM - ส่งกลับค่าที่เกี่ยวข้อง ถัง * ของการแสดงออกของอะตอม

ฟังก์ชั่น และ ขั้นตอน

เพิ่มHExpr - เพิ่มอาร์กิวเมนต์ใหม่ที่ส่วนหัวของนิพจน์โอเปอเรเตอร์

เพิ่มQExpr - เพิ่มอาร์กิวเมนต์ใหม่ที่คิวของนิพจน์โอเปอเรเตอร์

ใดๆExpr - ส่งคืนค่าตรรกะ OR ที่ใช้กับผลลัพธ์ของ
การประยุกต์ใช้ฟังก์ชันกับอาร์กิวเมนต์ของนิพจน์โอเปอเรเตอร์

เปลี่ยนOperExpr - เปลี่ยนตัวดำเนินการของส่วนหัวของนิพจน์

charToOper - แปลงสตริงตัวดำเนินการเป็นหมายเลขตัวดำเนินการ

สำเนาExpr - คัดลอกนิพจน์

สร้างอะตอม - สร้างนิพจน์อะตอม

สร้างBinExpr - สร้างนิพจน์ตัวดำเนินการไบนารีด้วยการรวมตัวของ .ในที่สุด
ผู้ประกอบการ

สร้างประสบการณ์ - สร้างส่วนหัวของนิพจน์โอเปอเรเตอร์

ลบNumExpr - ลบอาร์กิวเมนต์ i-th ในนิพจน์โอเปอเรเตอร์

devXor2Expr - แปลง XOR 2 เป็น OR-AND

devXorExpr - ลบ XOR ในนิพจน์

แสดงExpr - แสดงนิพจน์ในสัญกรณ์นำหน้า

แสดงInfExpr - แสดงนิพจน์ในรูปแบบสัญกรณ์ถาวร

เท่ากับExpr - ตรวจสอบว่านิพจน์สองนิพจน์เท่ากันอย่างเคร่งครัด

เท่ากับVarExpr - ตรวจสอบว่านิพจน์สองนิพจน์เท่ากันทางวากยสัมพันธ์

ทุกExpr - ส่งคืนค่าตรรกะ AND ใช้กับผลลัพธ์ของ
การประยุกต์ใช้ฟังก์ชันกับอาร์กิวเมนต์ของนิพจน์โอเปอเรเตอร์

exprToChar - แปลงนิพจน์เป็นสตริง

charToExpr - แปลงสตริงเป็นนิพจน์

แฟลตอาร์ตี้Expr - แผ่โอเปอเรเตอร์ของนิพจน์

แบนขั้ว Expr - แปลอินเวอร์เตอร์ของนิพจน์เป็นระดับของอะตอม
นิพจน์

ฟรีExpr - ปลดปล่อยการแสดงออก

identExpr - ให้ตัวระบุจากนิพจน์โอเปอเรเตอร์

ความยาวExpr - ส่งกลับจำนวนอาร์กิวเมนต์ในนิพจน์

แผนที่รถExpr - สร้างนิพจน์ใหม่โดยใช้ฟังก์ชันกับอาร์กิวเมนต์ทั้งหมดของ
นิพจน์โอเปอเรเตอร์

แผนที่Expr - ใช้โพรซีเดอร์กับอาร์กิวเมนต์ทั้งหมดของนิพจน์โอเปอเรเตอร์

สูงสุด Expr - ส่งกลับอาร์กิวเมนต์สูงสุดของนิพจน์โอเปอเรเตอร์

นาทีExpr - ส่งกลับอาร์กิวเมนต์ต่ำสุดของนิพจน์โอเปอเรเตอร์

บรรทัดฐานExpr - ทำให้นิพจน์เป็นปกติ

ไม่Expr - เติมเต็มนิพจน์และทำให้เข้าใจง่ายในที่สุด

หมายเลขAtomExpr - ส่งกลับจำนวนอะตอมในนิพจน์

จำนวนOccExpr - ส่งกลับจำนวนครั้งที่อะตอมปรากฏในนิพจน์

หมายเลขOperBinExpr - ส่งกลับจำนวนของตัวดำเนินการไบนารีที่เทียบเท่าในนิพจน์

โอเปอเรเตอร์ทูชาร์ - แปลงหมายเลขตัวดำเนินการเป็นสตริงตัวดำเนินการ

ศ.Expr - ส่งกลับความลึกของนิพจน์

ProfAOExpr - ส่งกลับความลึกของนิพจน์โดยไม่ต้องอินเวอร์เตอร์เข้า
บัญชี

ค้นหาExpr - ค้นหาอะตอมเฉพาะในนิพจน์

ค้นหาNumExpr - ดึงอาร์กิวเมนต์ i-th ในนิพจน์โอเปอเรเตอร์

ค้นหาOperExpr - ค้นหาตัวดำเนินการในนิพจน์

ง่าย10Expr - ทำให้ง่ายขึ้นในนิพจน์รวมถึงคงที่ atomic
นิพจน์

ซิมพลิฟไม่หมดอายุ - ทำให้ง่ายขึ้นในนิพจน์รวมถึงอินเวอร์เตอร์

sortExpr - เรียงลำดับนิพจน์

ส่วนย่อยExpr - คัดลอกนิพจน์โดยแทนที่อะตอมที่กำหนดด้วยนิพจน์

substPhyExpr - แทนที่นิพจน์อะตอมด้วยนิพจน์ภายใน an
การแสดงออก

supportChain_listExpr
- ส่งกลับการสนับสนุนของนิพจน์ในa chain_list.

supportPtype_listExpr
- ส่งกลับการสนับสนุนของนิพจน์ในa ptype_list.

wPMExpr - คืนค่า 1 หากการจับคู่รูปแบบเป็นไปได้ระหว่างสอง
นิพจน์

ใช้ abl ออนไลน์โดยใช้บริการ onworks.net