int function ( ) { return start ; }
get the start state index 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 void print concode_elem_sep void print concode_elem_sep boolean hasEdge concode_elem_sep int size 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