stateflow里if用法，并举例

在StateFlow中，`IF`结构用于条件控制流程，它允许程序基于某个条件执行不同的路径。IF通常包含两个部分：条件判断和分支动作。以下是IF的基本语法：

[判断条件]
IF 条件 THEN
    [当条件为真时执行的动作或状态转移]
ELSE
    [当条件为假时执行的动作或状态转移]
FI;

例如，假设我们有一个自动售货机的状态图，我们要检查用户输入的货币是否足够支付商品价格。可以这样设计：

1. 状态 `WaitingForInput`：

   WaitingForInput:
     IF Input >= ProductPrice THEN
       Transition To Paid
     ELSE
       Transition To InsufficientFunds
     FI;

2. 状态 `Paid` 或 `InsufficientFunds`：
这些状态表示后续操作，如打印确认信息或者提示用户添加更多货币。

在这个例子中，如果用户的输入大于等于商品价格，则从 `WaitingForInput` 转到 `Paid`；反之则转到 `InsufficientFunds`。