ARE ALIKE

From ASCEND
Revision as of 13:57, 13 May 2010 by UploadBot (talk | contribs) (Restored page from Google Cache, uploaded by John Pye)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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.

Retrieved from "https://ascend4.org/index.php?title=ARE_ALIKE&oldid=142"