void function ( ) { _nr_of_colors = 0 ; }
reset clear coloring . concode_field_sep AcceptanceSignatureContainer _container concode_elem_sep int _nr_of_colors concode_elem_sep Coloring _coloring concode_elem_sep boolean _detailed concode_elem_sep MyBitSet u concode_elem_sep DRA _dra concode_elem_sep Vector<Integer> _color2state concode_elem_sep MyBitSet l concode_elem_sep Vector<AcceptanceSignature> _acceptancesig_vector concode_elem_sep Vector<MyBitSet> _color2states concode_field_sep boolean getFlagDetailed concode_elem_sep DRA generateDRAfromColoring concode_elem_sep int compare concode_elem_sep int compare concode_elem_sep int newColor concode_elem_sep int state2color concode_elem_sep int currentColor concode_elem_sep int color2state concode_elem_sep void print concode_elem_sep void setColor concode_elem_sep int size concode_elem_sep AcceptanceSignature get concode_elem_sep boolean equals concode_elem_sep int countColors concode_elem_sep DRA optimizeBisimulation concode_elem_sep Coloring generateColoring concode_elem_sep MyBitSet color2states