ARE ALIKE: Difference between revisions
Jump to navigation
Jump to search
Restored page from Google Cache, uploaded by John Pye |
No edit summary |
||
| Line 1: | Line 1: | ||
{{DISPLAYTITLE:ARE_ALIKE}} | |||
'''ARE_ALIKE''' is ASCEND's 'refinement clique' constructor. It causes a group of instances to always be of the same formal type. Refining one of them causes a refinement of all the others. Does not propagate implicit type information, such as assignments to constants or part refinements made from a scope other than the scope of the formal definition. | '''ARE_ALIKE''' is ASCEND's 'refinement clique' constructor. It causes a group of instances to always be of the same formal type. Refining one of them causes a refinement of all the others. Does not propagate implicit type information, such as assignments to constants or part refinements made from a scope other than the scope of the formal definition. | ||
Latest revision as of 22:00, 21 December 2010
ARE_ALIKE is ASCEND's 'refinement clique' constructor. It causes a group of instances to always be of the same formal type. Refining one of them causes a refinement of all the others. Does not propagate implicit type information, such as assignments to constants or part refinements made from a scope other than the scope of the formal definition.
This article is incomplete or needs expanding. Please help out by adding your comments.
Examples are needed here.
See also ARE_THE_SAME, IS_REFINED_TO.