读取后置条件
确认条件针对哪种资产和哪个账户。
确认条件针对哪种资产和哪个账户。
从交易执行前后状态读取对应资产余额。
将下限条件与最终余额比较，不用交易输入金额代替余额。
不代表，只说明执行后满足声明的约束。
查看后置条件中的资产类型和主体标识。
不代表，只说明执行后满足声明的约束。
查看后置条件中的资产类型和主体标识。
不代表，只说明执行后满足声明的约束。
查看后置条件中的资产类型和主体标识。
确认条件针对哪种资产和哪个账户。
从交易执行前后状态读取对应资产余额。
将下限条件与最终余额比较，不用交易输入金额代替余额。
不代表，只说明执行后满足声明的约束。
查看后置条件中的资产类型和主体标识。