get choice for given state . concode_field_sep int[] choices concode_field_sep int hashCode concode_elem_sep boolean equals concode_elem_sep void setChoice
int function ( int arg0 ) { return choices [ arg0 ] ; }