question: print automaton to a printstream in a specified format `` dot '' , `` txt '' or `` hoa '' . concode_field_sep int size concode_elem_sep Acceptance acceptance concode_elem_sep int start concode_elem_sep List<List<Edge>> edges concode_elem_sep List<String> apList concode_elem_sep Symbol label concode_elem_sep int dest concode_field_sep void setStartState concode_elem_sep void printDot concode_elem_sep void printDot concode_elem_sep int getEdgeDest concode_elem_sep void switchAcceptance concode_elem_sep String getAutomataType concode_elem_sep Acceptance getAcceptance concode_elem_sep List<String> getAPList concode_elem_sep void setAcceptance concode_elem_sep void setAPList concode_elem_sep boolean hasEdge concode_elem_sep int size concode_elem_sep int getStartState concode_elem_sep int getNumEdges concode_elem_sep void printLtl2dstar concode_elem_sep void printHOA concode_elem_sep String toString concode_elem_sep Symbol getEdgeLabel concode_elem_sep int getEdgeDestByLabel concode_elem_sep void addEdge concode_elem_sep void checkForCanonicalAPs
target: void function ( PrintStream arg0 , String arg1 ) { switch ( arg1 ) { case "srini_string" : arg0 . println ( toString ( ) ) ; break ; case "srini_string" : printDot ( arg0 ) ; break ; case "srini_string" : printHOA ( arg0 ) ; break ; } }