Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Lightmarey`FormulaTransformEngine`
CompileFormulaHeuristicRule  |
|
| | ||||
▪
启发式规则声明适用范围、表达式重写方式、代价和应用次数上限；它本身不定义最终数学关系。
▪
编译过程只接受声明式数据。可执行构造、未知编译原语、未绑定模板槽和不一致的方向都会被拒绝。
▪
成功时返回包含 Status -> "Compiled"、Kind -> "FormulaHeuristicRule"、Name、规范化字段和 Raw 的关联。无效输入返回 Status -> "Failure"、FailureType -> "InvalidRuleJSON" 以及 Issues 列表。
▪
参数:
json | Association | 描述符字段如下表所示。 |
▪
描述符字段:
name | String，必需 | 注册表名称。 | |
appliesTo | 字符串列表 | 可使用该启发式规则的规则或族。 | |
matchers | List | 声明式源表达式匹配器。 | |
rewrite | Association | 受限的重写模板。 | |
conditions | List | 执行重写所需的条件。 | |
cost | Number | 候选排序代价；默认值为 1。 | |
maxApplications | Integer | 最大应用次数；默认值为 1。 |
范例
(1)
基本范例
(1)
In[1]:=
Needs["Lightmarey`FormulaTransformEngine`"]
编译并注册一个最小有效描述符：
In[2]:=
 | CompileFormulaHeuristicRule |
Out[2]=
StatusCompiled,KindFormulaHeuristicRule,HeadCompiledFormulaHeuristicRule,RegistryKindHeuristicRewrite,NameExampleHeuristic,AppliesTo{Holder},Matchers{},Rewrite,Conditions{},Cost1,MaxApplications1,RawnameExampleHeuristic,appliesTo{Holder},matchers{},rewrite,cost1,maxApplications1
无效描述符返回结构化诊断，而不会执行任意代码：
In[1]:=
| CompileFormulaHeuristicRule |
Out[1]=
StatusFailure,KindFormulaTransform,FailureTypeInvalidRuleJSON,MessageFormula heuristic JSON was rejected.,Issues{name must be a non-empty string.},Heuristic
""