question: public final void walkGraph ( Hashtable semNodesTable ) { Integer uid = new Integer ( myUID ) ; if ( semNodesTable . get ( uid ) != null ) return ; semNodesTable . put ( uid , this ) ; if ( assumeExpr != null ) { assumeExpr . walkGraph ( semNodesTable ) ; } ; }
target:  walkGraph finds all reachable nodes in the semantic graph and inserts them in the Hashtable semNodesTable for use by the Explorer tool.