ARE_ALIKE

From ASCEND
Revision as of 22:00, 21 December 2010 by Jpye (talk | contribs)
(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=1577"