The ptolemy.codegen.rtmaude.domains.fsm.kernel package.
@since Ptolemy II 7.2