我可以在查询字符串中放入一个记号（[value*]），然后在查询结果可以被访问的时候，创建一个用来得到cutoffDate值的函数。

What I’m doing is placing a token ([value*]) in the query string and then creating a function that I can use to get the value of cutoffDate when the results of the query are accessed.

youdao

提出一套利用B方法中经典AMN记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。

A scheme of temporal specification using function construct of classical B AMN is proposed to support specification and verification of real-time software system.

youdao