abl - 云端在线

程序：

您的姓名

阿布 - 布尔函数的前缀表示

商品描述

libabmmmm.a 是一个能够以类似 LISP 的形式表示布尔函数的库。
ABL 是具有标准的布尔函数的带前缀的内部表示
运算符为 OR、NOR、NAND、XOR、NOT 和 AND。 ABL 仅由双峰组成。 双峰是
由功能性可访问的两个字段组成 ＃定义 汽车 和 CDR。 一个
doublet 是用 MBK 实现的 链表.
口语 是由 ABL 表示的布尔函数的通用术语。 一种表达
可以是原子表达式或运算符表达式。 功能 f = a 被代表
由原子表达式而 f = （或 a b) 由运算符表达式表示。 一个
原子表达式由单个双峰组成 下一页 指针等于 NULL 和
数据 指针等于标识符指针。 一个常量原子表达式是一个原子
以字符串“'0'”或“'1'”作为标识符的表达式。
运算符表达式比原子表达式更复杂。 这是一个列表
项，第一项是表达式的头运算符，后面的项是
表达式的参数。 可以通过调用
功能性的 ＃定义 CDR. 然后每个参数都可以被函数访问 ＃定义 汽车.
参数可以递归地是原子或运算符表达式。 一个的数量
运算符表达式是第一级参数的数量。
函数分为两组，低级函数用 ＃定义
和用于管理 ABL 内部表单，高级函数用于管理
布尔表达式。 所有函数都在文件“prefbib.c”中定义（＃定义 in
“logmmm.h”）。

功能性 ＃定义

ATOM - 检查表达式的类型（原子或运算符表达式）。

汽车 - 返回 数据 双峰的指针。

计算机辅助设计 - 返回 数据 的指针 下一页 双峰的指针。

CDR - 返回 下一页 双峰的指针。

操作员 - 返回运算符表达式的运算符号。

VALUE_ATOM - 返回关联的 坦克 * 的原子表达式。

功能 和 程序

添加HExpr - 在运算符表达式的开头添加新参数。

添加QExpr - 在运算符表达式的队列中添加新参数。

任意表达式 - 返回应用于结果的逻辑 OR 的值
函数在运算符表达式的参数上的应用。

更改操作表达式 - 更改表达式头部的运算符。

字符操作 - 将操作符字符串转换为操作符编号。

复制表达式 - 复制一个表达式。

创建原子 - 创建一个原子表达式。

创建BinExpr - 创建一个二元运算符表达式，最终合并
运营商。

创建表达式 - 创建运算符表达式的头部。

删除数字表达式 - 删除运算符表达式中的第 i 个参数。

devXor2Expr - 将 XOR 2 转换为 OR-AND。

devXorExpr - 删除表达式中的 XOR。

显示表达式 - 以前缀表示法显示表达式。

显示信息表达式 - 以中缀表示法显示表达式。

等值表达式 - 检查两个表达式是否严格相等。

等值变量表达式 - 检查两个表达式在语法上是否相等。

每个Expr - 返回应用于结果的逻辑 AND 的值
函数在运算符表达式的参数上的应用。

表达式转字符 - 将表达式转换为字符串。

字符到表达式 - 将字符串转换为表达式。

平面ArityExpr - 展平表达式的运算符。

平极性表达式 - 将表达式的逆变器转换为原子级别
表达式。

自由快递 - 释放表达式。

标识符 - 给出来自运算符表达式的标识符。

长度表达式 - 返回表达式中的参数数量。

地图CarExpr - 通过对所有参数应用一个函数来创建一个新的表达式
运算符表达式。

映射表达式 - 将过程应用于运算符表达式的所有参数。

最大表达式 - 返回运算符表达式的最高参数。

最小表达式 - 返回运算符表达式的最低参数。

标准表达式 - 规范化一个表达式。

非表达式 - 对表达式进行补充并最终进行简化。

数字原子表达式 - 返回表达式中的原子数。

数字OccExpr - 返回原子出现在表达式中的次数。

numberOperBinExpr - 返回表达式中等效二元运算符的数量。

操作符 - 将运算符号转换为运算符字符串。

教授经验 - 返回表达式的深度。

教授AOExpr - 返回表达式的深度而不考虑反相器
帐户。

搜索表达式 - 在表达式中搜索特定原子。

搜索数字表达式 - 获取运算符表达式中的第 i 个参数。

搜索操作表达式 - 在表达式中搜索运算符。

simplif10Expr - 对表达式进行简化，包括常量原子
表达式。

简化非表达式 - 对包含逆变器的表达式进行简化。

排序表达式 - 对表达式进行排序。

子表达式 - 通过用表达式替换给定原子来复制表达式。

substPhyExpr - 用原子表达式替换原子表达式
表达。

supportChain_listExpr
- 返回一个表达式的支持 链表.

支持Ptype_listExpr
- 返回一个表达式的支持 ptype_list.

wPM表达式 - 如果模式匹配在两个之间是可能的，则返回 1
表达式。

使用 onworks.net 服务在线使用 abl