具有運行時操作的有限狀態機/自動機的CXX庫

Question

我正在尋找一個CXX庫，該庫通過狀態機上的運行時操作來實現有限狀態機（或自動機）？

在SageMath中，有一個模塊“ 有限狀態機”正是我在尋找的東西。

我看了下面的庫。 但是在所有這些中，都應在代碼中指定狀態機。

• 有限狀態機（ex-Boost.FSM）

• TinyFSM

• Boost Statechart庫（boost :: fsm）

• Boost元狀態機（MSM）

但我想add_state(s) delete_state(s) add_transition(s1,s2,input,output) ， delete_transition(t)或類似的東西這些， 在運行時 。

有沒有CXX庫？

Answer 1

Qt的QStateMachine可以做到這一點。

首先，創建一個狀態機。

QStateMachine sm;

然后，創建狀態。

QState *s1 = new QState();
QState *s2 = new QState();

您可以將過渡添加到狀態，如下所示：

//                Event source  Event        Transition to state
s1->addTransition(button, SIGNAL(clicked()), s2);

最后，將狀態機添加到狀態，如下所示：

sm.addState(s1);

這意味着您可以動態創建狀態機，狀態和轉換。

這是一個文件：

http://doc.qt.io/qt-5/statemachine-api.html