【文件属性】：
文件名称：谓词：解析，评估和以文本表示谓词
文件大小：15KB
文件格式：ZIP
更新时间：2021-02-04 06:19:05
parsing evaluation boolean-expression predicates ParsingGo
谓词
谓词是一个简单的库，用于解析，评估和以文本形式表示谓词（布尔函数）。
安装
git clone git@github.com:lamg/predicate.git
cd predicate/cmd/reduce && go install
例
下表显示了reduce如何工作的一些示例。 由于可以使用Vim的多字节输入法（例如：Ck OR写入∨），然后使用可视模式将选定的文本通过管道传递给reduce命令，或者仅将谓词存储在其中，因此使用标准的输入和输出将使键入布尔运算符更加容易。文件，然后将其用作reduce标准输入（ reduce < file_with_predicates ）。
【文件预览】：
predicate-master
----.gitignore(6B)
----go.mod(154B)
----parse.go(6KB)
----predicate_test.go(6KB)
----.travis.yml(194B)
----LICENSE(7KB)
----go.sum(915B)
----README.md(3KB)
----predicate.go(7KB)
----parse_test.go(4KB)
----cmd()
--------reduce()