StateVector function ( ) { return vect ; }
get the result vector null denotes n/a . concode_field_sep Object result concode_elem_sep Object cex concode_elem_sep StateVector vect concode_elem_sep String explanation concode_elem_sep Strategy strat concode_field_sep Object getCounterexample concode_elem_sep Strategy getStrategy concode_elem_sep void setVector concode_elem_sep void setResult concode_elem_sep void setExplanation concode_elem_sep void setStrategy concode_elem_sep Object getResult concode_elem_sep void setCounterexample concode_elem_sep String toString concode_elem_sep String getResultString concode_elem_sep String getExplanation