it gets the itemabstractionpair object kept in the trienode concode_field_sep boolean alreadyExplored concode_elem_sep ItemAbstractionPair pair concode_elem_sep Trie child concode_field_sep void setPair 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
ItemAbstractionPair function ( ) { return pair ; }