| 摘要 |
<p>PURPOSE:To provide an efficient and general storing and processing method at the time of the storage and re-evaluation of a restriction description as to a method for providing a restriction type programming language having a restriction describing function for describing the relation between variables. CONSTITUTION:A general restriction table 12 is generated for a general restriction description, and a general restriction name 132, a restriction equation list 131 converted into an intermediate language in tree structure, etc., are stored. For restriction application, an applied restriction table 16 is generated, and an applied general restriction table address 171, a restricted object variable list 172, etc., are stored. When the restriction is canceled, a cancellation table 19 is generated and an element of the restricted object list of the applied restriction table 16 is substituted in the equation of the restriction equation list 131 of the general restriction table 12; and an canceled equation list 191 which can be deformed into a normal form and an uncanceled equation list 192 which is deformed into a linear equation which is not a normal equation are stored and constant propagation is performed according to the solution table 19.</p> |
