Re-exports§
pub use machine::Machine;pub use machine::MachineBuilder;pub use state::State;pub use state::StateTrait;pub use state::StateType;pub use transition::Transition;
Modules§
Structs§
- Action
- An action that can be executed during state transitions
- Context
- Represents the extended state (context) for a state machine
- Coverage
Report - カバレッジ情報を表す構造体
- Event
- Represents an event that can trigger state transitions
- Guard
- A guard condition for a transition
- Model
Checker - モデルチェッカー
- Property
- 検証プロパティを表す構造体
- Test
Case - テストケースを表現する構造体
- Test
Generator - モデルからテストケースを生成するジェネレータ
- Test
Result - テスト実行結果を表す構造体
- Test
Results - テスト結果の集約
- Test
Runner - テストを実行するランナー
- Verification
Result - 検証結果
Enums§
- Action
Type - Type of action execution
- Error
- Errors that can occur in the RuState library
- Property
Type - 検証プロパティの種類
Traits§
- Event
Trait - Trait for event objects in a state machine
- Into
Action - Trait for types that can be converted into an action
- Into
Event - Trait for types that can be converted into an event
- Into
Guard - Trait for types that can be converted into a guard
Type Aliases§
- Result
- Result type for operations that can fail