I am considering adopting boost MSM library for the statecharts in my project. It looks awesome.

The documentation has several graphical representations of the state machines:

They look automatically generated. Are they? If so, what tool was used?

I did not find that information anywhere in the documentation. Sorry if I miss it.

Best wishes,

Ricardo Cruz