it updates the itemabstractionpair component of the trienode by the pair given as parameter concode_field_sep boolean alreadyExplored concode_elem_sep ItemAbstractionPair pair concode_elem_sep Trie child concode_field_sep ItemAbstractionPair getPair concode_elem_sep boolean isAlreadyExplored concode_elem_sep void setChild concode_elem_sep Trie getChild concode_elem_sep void clear concode_elem_sep void setAlreadyExplored concode_elem_sep String toString concode_elem_sep int compareTo
void function ( ItemAbstractionPair arg0 ) { this . pair = arg0 ; }