next up previous contents index
Next: Assert a Node Up: Case Frames Previous: Thresh

Enter the Network

This is the main function involved in taking a network you've just drawn in the Display window and creating a SNePS network that corresponds to it. When you decide that the network (or subnetwork) you've drawn is complete, call this function by pressing its button on the panel. This function takes no arguments just as or take no arguments. XGinseng will then examine your network for the following syntax violations: unlabeled nodes or arcs, unasserted top-level nodes, or solitary nodes. If any of these exist, XGinseng will stop at each violation and flash the offending object (and sound a beep as well) to alert the user of the object's whereabouts. The function will at this time abort to allow the user to edit the network and correct the deficiencies. If is called again the same checks are performed, and, assuming the network is in order, an examination of all the arc labels in the networks is begun. Each label is then examined to see if it has already been defined in SNePSUL, and, if it hasn't, the user is asked (in the Lisp window) if it should. If it is decided that a relation name should at this point be discarded the user should reply N. Should this happen the function is once again disabled to allow the user to re-edit the network. If these two tests are passed by the network the next time the function is called, a set of SNePSUL commands is generated and executed by XGinseng and a SNePS network is created as a result. All molecular nodes displayed in the Display window are then relabeled to reflect their proper naming.



John Francis Santore
Fri May 14 11:18:57 EDT 1999