alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* spot/twaalgos/mealy_machine.hh: Typo in documentation.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2025-02-04 21:12:13 +01:00
parent 602aad013f
commit aba0e8dd24
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/twaalgos/mealy_machine.hh
View file

@ -60,7 +60,7 @@ namespace spot
/// \brief Checks whether or not the automaton is a split mealy machine
///
/// A split mealy machine is a mealy machine machine that has
/// be converted into a game. It should have the named property
/// been converted into a game. It should have the named property
/// `"state-player"`, moreover the game should be alternating
/// between the two players. Transitions leaving states owned by
/// player 0 (the environment) should use only input propositions,