void function ( Integer arg0 ) { invID = arg0 ; }
set the id of the current invariant . used to identify this invariant and match it to the server-side invariant of the same type . concode_field_sep boolean active concode_elem_sep long serialVersionUID concode_elem_sep int invID concode_elem_sep String eSecond concode_elem_sep String transitionType concode_elem_sep String eFirst concode_field_sep String getUnicodeTransitionType concode_elem_sep String getUnicodeTransitionType concode_elem_sep String getTarget concode_elem_sep void setActive concode_elem_sep String getSource concode_elem_sep boolean equals concode_elem_sep int getID concode_elem_sep String toString concode_elem_sep boolean getActive concode_elem_sep int compareTo concode_elem_sep String getTransitionType