WhenState

AutomataBuilder

WithStaticSystem

ComponentsApi components

WritableString

FilesApi

when

AutomataBuilder AutomatonContactWithState StateContact

withAutomatonState

StateContact

withFilter

ContactOps

withState

ContactOps

withStaticSystemToStaticSystem

WithStaticSystem