Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Lightmarey`FormulaTransformEngine`
CompileFormulaTargetPlanner  |
|
| | ||||
▪
目标规划器把规则或规则族连接到白名单运行时、代数模板、参数方程、方向、条件和延迟证明义务。
▪
编译过程只接受声明式数据。可执行构造、未知编译原语、未绑定模板槽和不一致的方向都会被拒绝。
▪
成功时返回包含 Status -> "Compiled"、Kind -> "FormulaTargetPlanner"、Name、规范化字段和 Raw 的关联。无效输入返回 Status -> "Failure"、FailureType -> "InvalidRuleJSON" 以及 Issues 列表。
▪
参数:
json | Association | 描述符字段如下表所示。 |
▪
描述符字段:
name | String，必需 | 注册表名称。 | |
runtime | String，必需 | YoungAbsorption、WeightedHolder 或 GenericTargetPlanner。 | |
rules / families | 字符串或列表 | 适用的规则和规则族。 | |
objective | String | 规划目标标签。 | |
primitives | 字符串或列表 | 白名单中的规划原语。 | |
selectedTemplate / targetTemplate | String | 统一匹配所用的代数模板。 | |
unknownParameters / equations | List | 待求槽及其方程。 | |
orientations / conditions | List | 生成的关系及其条件。 | |
obligationsTemplate | List | 规划器实例化的延迟证明义务。 |
范例
(1)
基本范例
(1)
In[1]:=
Needs["Lightmarey`FormulaTransformEngine`"]
编译并注册一个最小有效描述符：
In[2]:=
 | CompileFormulaTargetPlanner |
Out[2]=
StatusCompiled,KindFormulaTargetPlanner,HeadCompiledFormulaTargetPlanner,RegistryKindTargetPlanner,NameExamplePlanner,Rules{Young},Families{},RuntimeGenericTargetPlanner,Objective,Primitives{MatchAlgebraicStructure},selectedTemplate$a*$b,SelectedTemplate$a*$b,targetTemplate$c,TargetTemplate$c,unknownParameters{},UnknownParameters{},equations{},Equations{},Orientations{},Conditions{},DerivedBindings,ParameterDefaults,ObligationsTemplate{},RawkindTargetPlanner,nameExamplePlanner,runtimeGenericTargetPlanner,rules{Young},primitives{MatchAlgebraicStructure},selectedTemplate$a*$b,targetTemplate$c,unknownParameters{},equations{}
无效描述符返回结构化诊断，而不会执行任意代码：
In[1]:=
| CompileFormulaTargetPlanner |
Out[1]=
StatusFailure,KindFormulaTransform,FailureTypeInvalidRuleJSON,MessageTarget planner JSON was rejected.,Issues{name must be a non-empty string.,runtime must be a non-empty string.,runtime must be one of: YoungAbsorption, WeightedHolder, GenericTargetPlanner.},Planner
""