void function ( Transition arg0 , GraphVertex arg1 ) { exits . put ( arg0 , arg1 ) ; }
adds or replaces an exit from this vertex an edge in execution tree/graph concode_field_sep ArrayList<Integer> marking concode_elem_sep Colour colour concode_elem_sep GraphVertex copyOf concode_elem_sep HashMap<Transition,GraphVertex> exits concode_field_sep void markAsCopyOf concode_elem_sep boolean testAndMarkOmega concode_elem_sep int hashCode concode_elem_sep boolean equals concode_elem_sep String toString concode_elem_sep GraphVertex getOriginal concode_elem_sep Set<Transition> getExitTransitions concode_elem_sep GraphVertex getExit concode_elem_sep ArrayList<Integer> getMarking concode_elem_sep GraphVertex getPrimaryVertex concode_elem_sep boolean isCopy