void function ( Writer arg0 , CFSM arg1 ) { for ( FSM loc0 : arg1 . getFSMs ( ) ) { exportAbsFSM ( arg0 , loc0 , "srini_string" + loc0 . getPid ( ) ) ; } }
exports the cfsm to a format determined by main.graphexportformatter , writing the resulting string to writer . each fsm in cfsm is exported as one graph . the export is done canonically -- two isomorphic graphs will have equivalent outputs . the generated dot/gml files may then be diff-ed to check if they represent the same graphs . concode_field_sep String[] dotCommands concode_elem_sep Logger logger concode_field_sep void exportObsFifoSys concode_elem_sep void exportAbsFSM concode_elem_sep void generatePngFileFromDotFile concode_elem_sep String getDotCommand concode_elem_sep void exportGFSM