boolean function ( ) { return numChoices == 0 ; }
is there a deadlock i.e. no available transitions ? concode_field_sep double probSum concode_elem_sep int offset concode_elem_sep int numTransitions concode_elem_sep int numChoices concode_elem_sep int i concode_elem_sep ArrayList<Choice> choices concode_elem_sep ArrayList<Integer> transitionOffsets concode_elem_sep ArrayList<Integer> transitionIndices concode_field_sep void add concode_elem_sep boolean isDeterministicSelfLoop concode_elem_sep int getChoiceIndexOfTransition concode_elem_sep int getChoiceOffsetOfTransition concode_elem_sep Choice getChoice concode_elem_sep int getTransitionModuleOrActionIndex concode_elem_sep void scaleProbabilitiesBy concode_elem_sep void checkValid concode_elem_sep void clear concode_elem_sep String getTransitionUpdateString concode_elem_sep int getNumTransitions concode_elem_sep boolean isDeterministic concode_elem_sep String getTransitionModuleOrAction concode_elem_sep int getTotalIndexOfTransition concode_elem_sep Choice getChoiceOfTransition concode_elem_sep State computeTransitionTarget concode_elem_sep double getTransitionProbability concode_elem_sep String getTransitionUpdateStringFull concode_elem_sep double getProbabilitySum concode_elem_sep String toString concode_elem_sep void checkForErrors concode_elem_sep int getNumChoices concode_elem_sep void getChoiceIndexByProbabilitySum