int function ( final Vertex arg0 , final int arg1 ) { return 0 ; }
the maximum orthogonality of all pseudo states is 0 concode_field_sep SexecExtensions sexec concode_elem_sep StatechartExtensions sc concode_elem_sep SexecElementMapping mapping concode_elem_sep SgraphExtensions sgraph concode_field_sep int defineStateVectors concode_elem_sep int defineStateVectors concode_elem_sep int defineStateVectors concode_elem_sep void defineHistoryVector concode_elem_sep StateVector stateVector concode_elem_sep void defineStateVector concode_elem_sep StateVector _stateVector concode_elem_sep StateVector _stateVector concode_elem_sep StateVector _stateVector