| OCR Text |
Show 26 Defstruct(Arc(!:Constructor(MkArc),!:Prefix(Arc!-)), Label (NIL), Type (NIL), P-State (NIL), N-State (NIL), LabelP (NIL), SymbolP (NIL), RootArc (NIL), ChildArc (NIL))$ Where Label holds the name given by a designer. P-State and N- State are for connection information and also for the updating purpose . LabelP and SymbolP remember absolute world coordinates of label text and symbol reference point. The segments of lines which construct the transition arc are represented in RootArc and ChildArc. They are in turn described by the List "Defstruct" as follows: Defstruct(List(!:Constructor(MkList),!:Prefix(List!-)), StartPt (NIL), EndPt (NIL), Corners (NIL))$ where StartPt and EndPt contain not only the world coordinate but the names of the states or the labels of the transition where the points are. Corners is essentially a list of points which are connected to form arcs. ~-~ Filing Capability A file containing both the structural and the graphical information of the designed control-unit will be generated and saved in the directory specified by the designer. If a design is updated in an existing external file, the old contents will be destroyed and replaced by the new database. An existing control-unit design file can be retrieved by GCS from the directory for further editing. If |
