級定義 (classdef) 要素内容木刈込み (prune) 属性 (属性集合定義体系)
[1] 属性集合定義体系の級定義
(classdef) 要素(形式)の内容木刈込み (prune) 属性は、
級がグローブ設計から省かれるときに完全グローブ中のその級の節を根とする内容木を刈取るかどうか、
あるいは枝はその節の親の子供特性中のその節をその節の子供で置き換えることによって単に「接木する」かどうかを指定します。
仕様書: ISO/IEC 10744:1997 A.4.2.3 Class definition
http://www.y12.doe.gov/sgml/wg8/docs/n1920/html/clause-A.4.2.html#clause-A.4.2.3
[2] 属性値:
prune- 刈り取ります。
この属性の既定値です。
nprune- 接木します。
この値を指定できるのは、内容特性の級が親の内容特性の部分集合となりうることが保証されるときだけです。