问题标签 [predicates]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票
1 回答
74 浏览

arrays - 使用 ANTLR4 区分函数调用和索引数组

在函数名称和索引标识符以相同的方式编写的意义上,语言的语法是模棱两可的:

为了能够做出区分,我需要先通过并创建一个符号表。之后,我想使用谓词来执行以下操作:

但仍有几个问题:

  • 我是否必须“扩展/继承”解析器才能添加“isFunction”的代码?还是我必须将其放入 .g4 文件本身?
  • 谓词是这里最好的方法,还是有更好的方法来实现这一切?
  • 如何运行解析器两次?如何处理“第一次”运行?(在这种情况下,isFunction 将始终返回 false,因为符号表尚未构建)

不知何故,我觉得必须有一种简单、干净的方法来处理上述问题......

0 投票
1 回答
1561 浏览

neo4j - Neo4J:交集和谓词

我正在从事一个涉及 Neo4J Db 的项目,但我遇到了一个我自己无法解决的问题。

我们正在处理图中的 Acl。每个 Acl 都链接到一组元数据。项目也链接到这些元数据。当链接到项目的所有元数据也链接到元数据时,元数据授予对一个项目的访问权限。

这是图模型的图片: ACL 图图片

在此示例中,ACL1 授予对 item1(但不是 item2)的访问权限,而 acl2 授予对 item2(但不是 item1)的访问权限。

我认为诀窍是在链接到一个项目的节点上使用 ALL 谓词,但我的尝试总是从图中返回所有项目(因为它们共享一个元数据)

有人可以帮助我创建密码查询以返回一个用户可以访问的所有项目吗?

谢谢你的帮助,格雷戈里

PS:这是一个 Neo4j 控制台示例数据集:http ://console.neo4j.org/r/urjh64

0 投票
2 回答
956 浏览

prolog - Prolog dict谓词匹配

鉴于这个程序,为什么我必须在谓词中定义每个原子,即使它们是匿名的。为什么 dict 谓词中的未定义变量不被认为是匿名的?

为什么我不能说

^ 顺便说一句,这不匹配。

如果我必须在字典中定义每个可能的值来使用字典,我也可以只使用一个结构。

这里的动机是什么?我可以做些什么来使我的谓词简洁吗?我正在尝试用 30 个变量定义一个字典,这是一个巨大的障碍。如果我被迫定义每个变量(匿名与否),它将使我的程序大小增加一个数量级。

0 投票
1 回答
47 浏览

coq - 将假设应用于变量

假设我正在做一个证明,并且我有这样的假设:

和 somePred 的定义说:

我如何申请Hc获得P(c, a, b)

0 投票
0 回答
132 浏览

xml - 使用 last() 谓词查找 XPATH 属性值

XML 文件

如何使用 last() 谓词获取属性“cover”的值?XPath 规范允许在 XPath 语句中使用“谓词”。例如,last() 谓词将从一组/值列表中选择最后一个值。

我尝试使用 /Bookstore/Book/title[last()]/@cover。但是我得到错误,这个 XPATH 无法解析包含 XPath 谓词 last() 的 XPath。我哪里错了?

谢谢!

0 投票
1 回答
471 浏览

predicates - LinqKit 谓词

我试图弄清楚谓词是如何工作的。我有一段代码,其中始终提供一个参数,但最多可能有 5 个不同的参数。

如果我尝试这种方式

如果我这样写,它什么也不返回

它工作正常。如果我将第一个谓词(帐户)从 .Or 更改为 .And 它不起作用。

.Or 似乎总是在运行,但如果我输入 .Or 对于所有这些,返回的日期是不正确的,因为它需要是一个 .And

我试图弄清楚如何让它工作,因为会有一段时间所有参数都是可选的。而且我将无法使用 . 或者,无论添加多少参数,获得 .And 的秘诀是什么。

0 投票
1 回答
1713 浏览

java - 有 hazelcast 谓词返回排序集合

有没有办法从榛树谓词中获取排序集合?我发现 hazelcast 为此目的提供了一个分页谓词,但我对分页行为不感兴趣(至少现在是这样)。

即使确实使用了这个分页谓词,它是否确保整个集合都被排序,而不仅仅是特定页面中的项目?以及是否有任何方法可以完全禁用分页?

我有兴趣以排序形式获得结果,而不是对分布式数据结构进行排序。

谢谢你

0 投票
1 回答
1178 浏览

mysql - 如何使用 Query DSL 连接表

我在我的应用程序中使用 queryDsl 进行复杂的搜索查询。我是querydsl的新手。我从下面的代码开始从一个表(TableA)中获取几行。但我必须在其他表(TableB)中找到具有相同 ID 的人员(计数)列表

表A:

表B:

我需要通过以下查询获得这样的输出

select cnt cnt, tableA.* from master_person_table tableA,(select count(*) cnt from tableB WHERE pId = '1002') cnt WHERE pId = '1002'

输出:

我需要在我的 HTML 中显示行数(对于 id=1002)。

谁能帮我找到要从 tableB 中获取的 pId 的计数

提前致谢

0 投票
1 回答
619 浏览

java - Java 中的 LIKE 谓词。它存在吗?

我有一个要求,我们必须从它的列表中搜索一个对象。例如,如果我们有一个 Persons 对象列表

User 对象将有名字和姓氏作为这样的参数。

我需要执行一个搜索,如果用户输入“raj”作为输入,它应该产生与“LIKE”查询相同的结果。

我已经使用 apache-commons 谓词来做。它适用于“EQUALS”。但是我们在 apache-commons 中是否有任何其他类可以用于 LIKE 查询。

0 投票
2 回答
31385 浏览

java - 将参数传递给谓词

我有以下搜索条件图:

我通过以下方式使用此地图:

我想知道,如何将一些参数传递到谓词映射中?

即我想通过其字符串缩写从映射中获取谓词,并将参数插入从映射谓词中取出的参数中。

这是我用谷歌搜索出这个地图谓词方法的链接。