Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Lightmarey`FormulaTransformEngine`
GetFormulaTransformObligations  |
|
| | ||||
▪
state 为 Association；缺少 Obligations 键时按空列表处理。
▪
结果包含 Status -> "Success"、Kind -> "FormulaTransformObligations"、Obligations 和 Count。
▪
参数:
state | Association | 应用、规划或消解操作返回的变换状态。 |
范例
(1)
基本范例
(1)
In[1]:=
Needs["Lightmarey`FormulaTransformEngine`"]
读取证明义务及其数量：
In[2]:=
 | GetFormulaTransformObligations |
Out[2]=
StatusSuccess,KindFormulaTransformObligations,Obligations{KindRealValued},Count1
空状态不包含证明义务：
In[1]:=
| GetFormulaTransformObligations |
Out[1]=
StatusSuccess,KindFormulaTransformObligations,Obligations{},Count0
""