source: icGREP/icgrep-devel/icgrep/UCD/DerivedNumericType.h @ 5232

Last change on this file since 5232 was 5159, checked in by cameron, 3 years ago

Support for enumeration basis sets

File size: 20.0 KB
Line 
1#ifndef DERIVEDNUMERICTYPE_H
2#define DERIVEDNUMERICTYPE_H
3/*
4 *  Copyright (c) 2016 International Characters, Inc.
5 *  This software is licensed to the public under the Open Software License 3.0.
6 *  icgrep is a trademark of International Characters, Inc.
7 *
8 *  This file is generated by UCD_properties.py - manual edits may be lost.
9 */
10
11#include "PropertyObjects.h"
12#include "PropertyValueAliases.h"
13#include "unicode_set.h"
14
15namespace UCD {
16  namespace NT_ns {
17    const unsigned independent_prop_values = 4;
18    /** Code Point Ranges for None
19    [0, 47], [58, 177], [180, 184], [186, 187], [191, 1631], [1642, 1775],
20    [1786, 1983], [1994, 2405], [2416, 2533], [2544, 2547], [2554, 2661],
21    [2672, 2789], [2800, 2917], [2928, 2929], [2936, 3045], [3059, 3173],
22    [3184, 3191], [3199, 3301], [3312, 3415], [3423, 3429], [3449, 3557],
23    [3568, 3663], [3674, 3791], [3802, 3871], [3892, 4159], [4170, 4239],
24    [4250, 4968], [4989, 5869], [5873, 6111], [6122, 6127], [6138, 6159],
25    [6170, 6469], [6480, 6607], [6619, 6783], [6794, 6799], [6810, 6991],
26    [7002, 7087], [7098, 7231], [7242, 7247], [7258, 8303], [8305, 8307],
27    [8314, 8319], [8330, 8527], [8579, 8580], [8586, 9311], [9372, 9449],
28    [9472, 10101], [10132, 11516], [11518, 12294], [12296, 12320],
29    [12330, 12343], [12347, 12689], [12694, 12831], [12842, 12871],
30    [12880, 12880], [12896, 12927], [12938, 12976], [12992, 13316],
31    [13318, 13442], [13444, 14377], [14379, 15180], [15182, 19967],
32    [19969, 19970], [19972, 19974], [19976, 19976], [19978, 20060],
33    [20062, 20107], [20109, 20115], [20117, 20117], [20119, 20158],
34    [20161, 20190], [20192, 20199], [20201, 20236], [20238, 20335],
35    [20337, 20739], [20741, 20805], [20807, 20840], [20842, 20842],
36    [20844, 20844], [20846, 21312], [21314, 21314], [21318, 21323],
37    [21325, 21440], [21445, 22234], [22236, 22768], [22770, 22776],
38    [22778, 24185], [24187, 24317], [24320, 24331], [24335, 24335],
39    [24337, 25341], [25343, 25419], [25421, 26577], [26579, 28421],
40    [28423, 29589], [29591, 30333], [30335, 32901], [32903, 33835],
41    [33837, 36013], [36015, 36018], [36020, 36143], [36145, 38432],
42    [38434, 38469], [38471, 38475], [38477, 38519], [38521, 38645],
43    [38647, 42527], [42538, 42725], [42736, 43055], [43062, 43215],
44    [43226, 43263], [43274, 43471], [43482, 43503], [43514, 43599],
45    [43610, 44015], [44026, 63850], [63852, 63858], [63860, 63863],
46    [63865, 63921], [63923, 63952], [63954, 63954], [63956, 63996],
47    [63998, 65295], [65306, 65798], [65844, 65855], [65913, 65929],
48    [65932, 66272], [66300, 66335], [66340, 66368], [66370, 66377],
49    [66379, 66512], [66518, 66719], [66730, 67671], [67680, 67704],
50    [67712, 67750], [67760, 67834], [67840, 67861], [67868, 68027],
51    [68030, 68031], [68048, 68049], [68096, 68159], [68168, 68220],
52    [68223, 68252], [68256, 68330], [68336, 68439], [68448, 68471],
53    [68480, 68520], [68528, 68857], [68864, 69215], [69247, 69713],
54    [69744, 69871], [69882, 69941], [69952, 70095], [70106, 70112],
55    [70133, 70383], [70394, 70735], [70746, 70863], [70874, 71247],
56    [71258, 71359], [71370, 71471], [71484, 71903], [71923, 72783],
57    [72813, 74751], [74863, 92767], [92778, 93007], [93018, 93018],
58    [93026, 119647], [119666, 120781], [120832, 125126], [125136, 125263],
59    [125274, 127231], [127245, 131072], [131074, 131171], [131173, 131297],
60    [131299, 131360], [131362, 133417], [133419, 133506], [133508, 133515],
61    [133517, 133531], [133533, 133865], [133867, 133884], [133886, 133912],
62    [133914, 140175], [140177, 141719], [141721, 146202], [146204, 156268],
63    [156270, 194703], [194705, 1114111]**/
64    const UnicodeSet none_Set
65        {{{Full, 1}, {Mixed, 1}, {Full, 3}, {Mixed, 1}, {Full, 45},
66          {Mixed, 1}, {Full, 3}, {Mixed, 1}, {Full, 6}, {Mixed, 1},
67          {Full, 12}, {Mixed, 1}, {Full, 3}, {Mixed, 1}, {Full, 3},
68          {Mixed, 1}, {Full, 3}, {Mixed, 1}, {Full, 3}, {Mixed, 1},
69          {Full, 3}, {Mixed, 1}, {Full, 3}, {Mixed, 1}, {Full, 3},
70          {Mixed, 1}, {Full, 2}, {Mixed, 2}, {Full, 3}, {Mixed, 1},
71          {Full, 2}, {Mixed, 1}, {Full, 3}, {Mixed, 1}, {Full, 2},
72          {Mixed, 1}, {Full, 8}, {Mixed, 1}, {Full, 1}, {Mixed, 1},
73          {Full, 22}, {Mixed, 1}, {Full, 27}, {Mixed, 1}, {Full, 7},
74          {Mixed, 2}, {Full, 9}, {Mixed, 1}, {Full, 3}, {Mixed, 1},
75          {Full, 5}, {Mixed, 1}, {Full, 5}, {Mixed, 1}, {Full, 2},
76          {Mixed, 1}, {Full, 4}, {Mixed, 1}, {Full, 32}, {Mixed, 2},
77          {Full, 5}, {Mixed, 1}, {Empty, 1}, {Mixed, 1}, {Full, 22},
78          {Empty, 1}, {Mixed, 1}, {Full, 2}, {Mixed, 1}, {Full, 19},
79          {Mixed, 2}, {Full, 42}, {Mixed, 1}, {Full, 24}, {Mixed, 2},
80          {Full, 10}, {Mixed, 1}, {Full, 4}, {Mixed, 2}, {Full, 1},
81          {Mixed, 2}, {Full, 10}, {Mixed, 1}, {Full, 3}, {Mixed, 1},
82          {Full, 28}, {Mixed, 1}, {Full, 24}, {Mixed, 1}, {Full, 149},
83          {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 5},
84          {Full, 2}, {Mixed, 1}, {Full, 12}, {Mixed, 1}, {Full, 1},
85          {Mixed, 2}, {Full, 14}, {Mixed, 1}, {Full, 3}, {Mixed, 1},
86          {Full, 23}, {Mixed, 1}, {Full, 16}, {Mixed, 1}, {Full, 43},
87          {Mixed, 1}, {Full, 3}, {Mixed, 2}, {Full, 30}, {Mixed, 1},
88          {Full, 2}, {Mixed, 1}, {Full, 35}, {Mixed, 1}, {Full, 57},
89          {Mixed, 1}, {Full, 35}, {Mixed, 1}, {Full, 22}, {Mixed, 1},
90          {Full, 80}, {Mixed, 1}, {Full, 28}, {Mixed, 1}, {Full, 67},
91          {Mixed, 1}, {Full, 3}, {Mixed, 1}, {Full, 71}, {Mixed, 3},
92          {Full, 3}, {Mixed, 1}, {Full, 121}, {Mixed, 1}, {Full, 5},
93          {Mixed, 1}, {Full, 9}, {Mixed, 1}, {Full, 4}, {Mixed, 1},
94          {Full, 1}, {Mixed, 1}, {Full, 5}, {Mixed, 2}, {Full, 2},
95          {Mixed, 1}, {Full, 12}, {Mixed, 1}, {Full, 619}, {Mixed, 1},
96          {Full, 1}, {Mixed, 3}, {Full, 40}, {Mixed, 1}, {Full, 15},
97          {Mixed, 2}, {Empty, 1}, {Mixed, 2}, {Full, 10}, {Mixed, 1},
98          {Full, 1}, {Mixed, 2}, {Full, 3}, {Mixed, 1}, {Full, 6},
99          {Mixed, 1}, {Full, 28}, {Mixed, 2}, {Full, 1}, {Mixed, 1},
100          {Full, 1}, {Mixed, 2}, {Full, 4}, {Mixed, 2}, {Empty, 1},
101          {Full, 2}, {Mixed, 3}, {Full, 2}, {Mixed, 1}, {Full, 2},
102          {Mixed, 2}, {Full, 1}, {Mixed, 1}, {Full, 9}, {Mixed, 1},
103          {Full, 11}, {Mixed, 1}, {Full, 14}, {Mixed, 2}, {Full, 3},
104          {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Full, 4}, {Mixed, 2},
105          {Full, 7}, {Mixed, 1}, {Full, 10}, {Mixed, 1}, {Full, 3},
106          {Mixed, 1}, {Full, 11}, {Mixed, 1}, {Full, 3}, {Mixed, 1},
107          {Full, 2}, {Mixed, 1}, {Full, 13}, {Mixed, 1}, {Full, 26},
108          {Mixed, 2}, {Full, 60}, {Empty, 3}, {Mixed, 1}, {Full, 559},
109          {Mixed, 1}, {Full, 6}, {Mixed, 2}, {Full, 831}, {Mixed, 1},
110          {Full, 34}, {Mixed, 1}, {Empty, 1}, {Full, 134}, {Mixed, 1},
111          {Full, 3}, {Mixed, 1}, {Full, 61}, {Mixed, 1}, {Full, 119},
112          {Mixed, 1}, {Full, 2}, {Mixed, 1}, {Full, 3}, {Mixed, 1},
113          {Full, 1}, {Mixed, 1}, {Full, 63}, {Mixed, 1}, {Full, 2},
114          {Mixed, 1}, {Full, 10}, {Mixed, 2}, {Full, 195}, {Mixed, 1},
115          {Full, 47}, {Mixed, 1}, {Full, 139}, {Mixed, 1}, {Full, 314},
116          {Mixed, 1}, {Full, 1200}, {Mixed, 1}, {Full, 28731}},
117         {0xfc00ffff, 0x8df3ffff, 0xfffffc00, 0xfc00ffff, 0xfffffc00,
118          0xffff003f, 0xfc0f003f, 0xffff003f, 0xffff003f, 0xff03003f,
119          0xfff8003f, 0x80ff003f, 0xffff003f, 0x80ffffff, 0xfe00003f,
120          0xffff003f, 0xfc00ffff, 0xfc00ffff, 0xfff00000, 0xfffffc00,
121          0xfc00ffff, 0xe00001ff, 0xfffe3fff, 0xfc00fc00, 0xfc00ffff,
122          0xffff003f, 0xf800ffff, 0xfc00fc00, 0xfc00ffff, 0xfc00ffff,
123          0xfc00fc00, 0xfc0effff, 0xfffffc00, 0x0000ffff, 0xfffffc18,
124          0xf0000000, 0x000003ff, 0x003fffff, 0xfff00000, 0xdfffffff,
125          0xffffff7f, 0xf8fffc01, 0xffc3ffff, 0xfffffc00, 0x000100ff,
126          0xfffffc00, 0x0001ffff, 0xffffffdf, 0xfffffff7, 0xfffffbff,
127          0xffffdfff, 0xfffffd76, 0xdfffffff, 0xffafefff, 0x7fffffff,
128          0x7ffffffe, 0xfffffeff, 0xffffdfff, 0xfffeffff, 0xffffffef,
129          0xffffffbf, 0xffffd5ff, 0xffffefc5, 0xffffffe1, 0xf7ffffff,
130          0xfdfdffff, 0xfbffffff, 0x3fffffff, 0xfffe8fff, 0xbfffffff,
131          0xffffefff, 0xfffbffff, 0xffffffbf, 0xffbfffff, 0xbfffffff,
132          0xffffffbf, 0xffffefff, 0xfff7bfff, 0xfffeffff, 0xfffffffd,
133          0xffffefbf, 0xfeffffff, 0xffbfffff, 0xfffffc00, 0xffff003f,
134          0xffc0ffff, 0xfc00ffff, 0xfffffc00, 0xfc00ffff, 0xfc00ffff,
135          0xfc00ffff, 0xfc00ffff, 0xfef7f7ff, 0xfffbffff, 0xfff5ffff,
136          0xdfffffff, 0xfc00ffff, 0x0000007f, 0xfff00000, 0xfe000000,
137          0xfffff3ff, 0xf0000001, 0xfffffff0, 0xfffffbfd, 0xffc1ffff,
138          0xfffffc00, 0x00ffffff, 0x01ffffff, 0xffff007f, 0x07ffffff,
139          0xf03fffff, 0xcfffffff, 0x00030000, 0xffffff00, 0x9fffffff,
140          0x1fffffff, 0xffff07ff, 0x00ffffff, 0x00ffffff, 0xffff01ff,
141          0x03ffffff, 0x80000000, 0x0003ffff, 0xffff0000, 0xfc00ffff,
142          0x003fffff, 0xfc00ffff, 0xffe00001, 0xfc00ffff, 0xfc00ffff,
143          0xfc00ffff, 0xfc00ffff, 0xfffffc00, 0xf000ffff, 0xfff80000,
144          0x0000ffff, 0xffffe000, 0xffff8000, 0xfffffc00, 0x0400ffff,
145          0xfffffffc, 0xfffc0000, 0x00003fff, 0xffff007f, 0xfc00ffff,
146          0xffffe000, 0xfffffffd, 0xffffffef, 0xfffffffb, 0xfffffffd,
147          0xfffffbff, 0xefffeff7, 0xdffffbff, 0xfdffffff, 0xfffeffff,
148          0xfeffffff, 0xf7ffffff, 0xffffdfff, 0xfffeffff}};
149    /** Code Point Ranges for Nu
150    [188, 190], [2548, 2553], [2930, 2935], [3056, 3058], [3192, 3198],
151    [3416, 3422], [3440, 3448], [3882, 3891], [4978, 4988], [5870, 5872],
152    [6128, 6137], [8528, 8578], [8581, 8585], [9321, 9331], [9341, 9351],
153    [9361, 9371], [9451, 9460], [9470, 9470], [10111, 10111],
154    [10121, 10121], [10131, 10131], [11517, 11517], [12295, 12295],
155    [12321, 12329], [12344, 12346], [12690, 12693], [12832, 12841],
156    [12872, 12879], [12881, 12895], [12928, 12937], [12977, 12991],
157    [13317, 13317], [13443, 13443], [14378, 14378], [15181, 15181],
158    [19968, 19968], [19971, 19971], [19975, 19975], [19977, 19977],
159    [20061, 20061], [20108, 20108], [20116, 20116], [20118, 20118],
160    [20159, 20160], [20191, 20191], [20200, 20200], [20237, 20237],
161    [20336, 20336], [20740, 20740], [20806, 20806], [20841, 20841],
162    [20843, 20843], [20845, 20845], [21313, 21313], [21315, 21317],
163    [21324, 21324], [21441, 21444], [22235, 22235], [22769, 22769],
164    [22777, 22777], [24186, 24186], [24318, 24319], [24332, 24334],
165    [24336, 24336], [25342, 25342], [25420, 25420], [26578, 26578],
166    [28422, 28422], [29590, 29590], [30334, 30334], [32902, 32902],
167    [33836, 33836], [36014, 36014], [36019, 36019], [36144, 36144],
168    [38433, 38433], [38470, 38470], [38476, 38476], [38520, 38520],
169    [38646, 38646], [42726, 42735], [43056, 43061], [63851, 63851],
170    [63859, 63859], [63864, 63864], [63922, 63922], [63953, 63953],
171    [63955, 63955], [63997, 63997], [65799, 65843], [65856, 65912],
172    [65930, 65931], [66273, 66299], [66336, 66339], [66369, 66369],
173    [66378, 66378], [66513, 66517], [67672, 67679], [67705, 67711],
174    [67751, 67759], [67835, 67839], [67862, 67867], [68028, 68029],
175    [68032, 68047], [68050, 68095], [68164, 68167], [68221, 68222],
176    [68253, 68255], [68331, 68335], [68440, 68447], [68472, 68479],
177    [68521, 68527], [68858, 68863], [69225, 69246], [69723, 69733],
178    [70113, 70132], [71482, 71483], [71914, 71922], [72794, 72812],
179    [74752, 74862], [93019, 93025], [119648, 119665], [125127, 125135],
180    [127243, 127244], [131073, 131073], [131172, 131172], [131298, 131298],
181    [131361, 131361], [133418, 133418], [133507, 133507], [133516, 133516],
182    [133532, 133532], [133866, 133866], [133885, 133885], [133913, 133913],
183    [140176, 140176], [141720, 141720], [146203, 146203], [156269, 156269],
184    [194704, 194704]**/
185    const UnicodeSet nu_Set
186        {{{Empty, 5}, {Mixed, 1}, {Empty, 73}, {Mixed, 1}, {Empty, 11},
187          {Mixed, 1}, {Empty, 3}, {Mixed, 1}, {Empty, 3}, {Mixed, 1},
188          {Empty, 6}, {Mixed, 2}, {Empty, 13}, {Mixed, 1}, {Empty, 33},
189          {Mixed, 1}, {Empty, 27}, {Mixed, 1}, {Empty, 7}, {Mixed, 1},
190          {Empty, 74}, {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Empty, 22},
191          {Mixed, 2}, {Empty, 2}, {Mixed, 1}, {Empty, 19}, {Mixed, 2},
192          {Empty, 42}, {Mixed, 1}, {Empty, 24}, {Mixed, 2}, {Empty, 10},
193          {Mixed, 1}, {Empty, 4}, {Mixed, 2}, {Empty, 1}, {Mixed, 2},
194          {Empty, 10}, {Mixed, 1}, {Empty, 3}, {Mixed, 1}, {Empty, 28},
195          {Mixed, 1}, {Empty, 24}, {Mixed, 1}, {Empty, 149}, {Mixed, 1},
196          {Empty, 1}, {Mixed, 1}, {Empty, 1}, {Mixed, 5}, {Empty, 2},
197          {Mixed, 1}, {Empty, 12}, {Mixed, 1}, {Empty, 1}, {Mixed, 2},
198          {Empty, 14}, {Mixed, 1}, {Empty, 3}, {Mixed, 1}, {Empty, 23},
199          {Mixed, 1}, {Empty, 16}, {Mixed, 1}, {Empty, 43}, {Mixed, 1},
200          {Empty, 3}, {Mixed, 2}, {Empty, 30}, {Mixed, 1}, {Empty, 2},
201          {Mixed, 1}, {Empty, 35}, {Mixed, 1}, {Empty, 57}, {Mixed, 1},
202          {Empty, 35}, {Mixed, 1}, {Empty, 22}, {Mixed, 1}, {Empty, 80},
203          {Mixed, 1}, {Empty, 28}, {Mixed, 1}, {Empty, 67}, {Mixed, 1},
204          {Empty, 3}, {Mixed, 1}, {Empty, 71}, {Mixed, 3}, {Empty, 3},
205          {Mixed, 1}, {Empty, 127}, {Mixed, 1}, {Empty, 9}, {Mixed, 1},
206          {Empty, 649}, {Mixed, 1}, {Empty, 1}, {Mixed, 3}, {Empty, 56},
207          {Mixed, 2}, {Full, 1}, {Mixed, 2}, {Empty, 10}, {Mixed, 1},
208          {Empty, 1}, {Mixed, 2}, {Empty, 3}, {Mixed, 1}, {Empty, 35},
209          {Mixed, 2}, {Empty, 1}, {Mixed, 1}, {Empty, 1}, {Mixed, 2},
210          {Empty, 4}, {Mixed, 2}, {Full, 1}, {Empty, 2}, {Mixed, 3},
211          {Empty, 2}, {Mixed, 1}, {Empty, 2}, {Mixed, 2}, {Empty, 1},
212          {Mixed, 1}, {Empty, 9}, {Mixed, 1}, {Empty, 11}, {Mixed, 1},
213          {Empty, 14}, {Mixed, 2}, {Empty, 11}, {Mixed, 1}, {Empty, 41},
214          {Mixed, 1}, {Empty, 13}, {Mixed, 1}, {Empty, 26}, {Mixed, 2},
215          {Empty, 60}, {Full, 3}, {Mixed, 1}, {Empty, 566}, {Mixed, 2},
216          {Empty, 831}, {Mixed, 1}, {Empty, 170}, {Mixed, 1}, {Empty, 65},
217          {Mixed, 1}, {Empty, 119}, {Mixed, 1}, {Empty, 2}, {Mixed, 1},
218          {Empty, 3}, {Mixed, 1}, {Empty, 1}, {Mixed, 1}, {Empty, 63},
219          {Mixed, 1}, {Empty, 2}, {Mixed, 1}, {Empty, 10}, {Mixed, 2},
220          {Empty, 195}, {Mixed, 1}, {Empty, 47}, {Mixed, 1}, {Empty, 139},
221          {Mixed, 1}, {Empty, 314}, {Mixed, 1}, {Empty, 1200}, {Mixed, 1},
222          {Empty, 28731}},
223         {0x70000000, 0x03f00000, 0x00fc0000, 0x00070000, 0x7f000000,
224          0x7f000000, 0x01ff0000, 0x000ffc00, 0x1ffc0000, 0x0001c000,
225          0x03ff0000, 0xffff0000, 0x000003e7, 0xe00ffe00, 0x0ffe00ff,
226          0x401ff800, 0x80000000, 0x00080200, 0x20000000, 0x00000080,
227          0x070003fe, 0x003c0000, 0x000003ff, 0xfffeff00, 0x000003ff,
228          0xfffe0000, 0x00000020, 0x00000008, 0x00000400, 0x00002000,
229          0x00000289, 0x20000000, 0x00501000, 0x80000000, 0x80000001,
230          0x00000100, 0x00002000, 0x00010000, 0x00000010, 0x00000040,
231          0x00002a00, 0x0000103a, 0x0000001e, 0x08000000, 0x02020000,
232          0x04000000, 0xc0000000, 0x00017000, 0x40000000, 0x00001000,
233          0x00040000, 0x00000040, 0x00400000, 0x40000000, 0x00000040,
234          0x00001000, 0x00084000, 0x00010000, 0x00000002, 0x00001040,
235          0x01000000, 0x00400000, 0x0000ffc0, 0x003f0000, 0x01080800,
236          0x00040000, 0x000a0000, 0x20000000, 0xffffff80, 0x000fffff,
237          0x01ffffff, 0x00000c00, 0x0ffffffe, 0x0000000f, 0x00000402,
238          0x003e0000, 0xff000000, 0xfe000000, 0x0000ff80, 0xf8000000,
239          0x0fc00000, 0x30000000, 0xfffcffff, 0x000000f0, 0x60000000,
240          0xe0000000, 0x0000f800, 0xff000000, 0xff000000, 0x0000fe00,
241          0xfc000000, 0x7ffffe00, 0xf8000000, 0x0000003f, 0x001ffffe,
242          0x0c000000, 0x0007fc00, 0xfc000000, 0x00001fff, 0x00007fff,
243          0xf8000000, 0x00000003, 0x0003ffff, 0x0000ff80, 0x00001800,
244          0x00000002, 0x00000010, 0x00000004, 0x00000002, 0x00000400,
245          0x10001008, 0x20000400, 0x02000000, 0x00010000, 0x01000000,
246          0x08000000, 0x00002000, 0x00010000}};
247    /** Code Point Ranges for Di
248    [178, 179], [185, 185], [4969, 4977], [6618, 6618], [8304, 8304],
249    [8308, 8313], [8320, 8329], [9312, 9320], [9332, 9340], [9352, 9360],
250    [9450, 9450], [9461, 9469], [9471, 9471], [10102, 10110],
251    [10112, 10120], [10122, 10130], [68160, 68163], [69216, 69224],
252    [69714, 69722], [127232, 127242]**/
253    const UnicodeSet di_Set
254        {{{Empty, 5}, {Mixed, 1}, {Empty, 149}, {Mixed, 1}, {Empty, 50},
255          {Mixed, 1}, {Empty, 52}, {Mixed, 2}, {Empty, 30}, {Mixed, 2},
256          {Empty, 2}, {Mixed, 1}, {Empty, 19}, {Mixed, 2}, {Empty, 1813},
257          {Mixed, 1}, {Empty, 32}, {Mixed, 1}, {Empty, 14}, {Mixed, 1},
258          {Empty, 1797}, {Mixed, 1}, {Empty, 30839}},
259         {0x020c0000, 0x0003fe00, 0x04000000, 0x03f10000, 0x000003ff,
260          0x1ff001ff, 0x0001ff00, 0xbfe00400, 0x7fc00000, 0x0007fdff,
261          0x0000000f, 0x000001ff, 0x07fc0000, 0x000007ff}};
262    /** Code Point Ranges for De
263    [48, 57], [1632, 1641], [1776, 1785], [1984, 1993], [2406, 2415],
264    [2534, 2543], [2662, 2671], [2790, 2799], [2918, 2927], [3046, 3055],
265    [3174, 3183], [3302, 3311], [3430, 3439], [3558, 3567], [3664, 3673],
266    [3792, 3801], [3872, 3881], [4160, 4169], [4240, 4249], [6112, 6121],
267    [6160, 6169], [6470, 6479], [6608, 6617], [6784, 6793], [6800, 6809],
268    [6992, 7001], [7088, 7097], [7232, 7241], [7248, 7257], [42528, 42537],
269    [43216, 43225], [43264, 43273], [43472, 43481], [43504, 43513],
270    [43600, 43609], [44016, 44025], [65296, 65305], [66720, 66729],
271    [69734, 69743], [69872, 69881], [69942, 69951], [70096, 70105],
272    [70384, 70393], [70736, 70745], [70864, 70873], [71248, 71257],
273    [71360, 71369], [71472, 71481], [71904, 71913], [72784, 72793],
274    [92768, 92777], [93008, 93017], [120782, 120831], [125264, 125273]**/
275    const UnicodeSet de_Set
276        {{{Empty, 1}, {Mixed, 1}, {Empty, 49}, {Mixed, 1}, {Empty, 3},
277          {Mixed, 1}, {Empty, 6}, {Mixed, 1}, {Empty, 12}, {Mixed, 1},
278          {Empty, 3}, {Mixed, 1}, {Empty, 3}, {Mixed, 1}, {Empty, 3},
279          {Mixed, 1}, {Empty, 3}, {Mixed, 1}, {Empty, 3}, {Mixed, 1},
280          {Empty, 3}, {Mixed, 1}, {Empty, 3}, {Mixed, 1}, {Empty, 3},
281          {Mixed, 1}, {Empty, 3}, {Mixed, 1}, {Empty, 2}, {Mixed, 1},
282          {Empty, 3}, {Mixed, 1}, {Empty, 2}, {Mixed, 1}, {Empty, 8},
283          {Mixed, 1}, {Empty, 1}, {Mixed, 1}, {Empty, 58}, {Mixed, 2},
284          {Empty, 9}, {Mixed, 1}, {Empty, 3}, {Mixed, 1}, {Empty, 5},
285          {Mixed, 1}, {Empty, 5}, {Mixed, 1}, {Empty, 2}, {Mixed, 1},
286          {Empty, 4}, {Mixed, 1}, {Empty, 1102}, {Mixed, 1}, {Empty, 20},
287          {Mixed, 1}, {Empty, 1}, {Mixed, 1}, {Empty, 5}, {Mixed, 2},
288          {Empty, 2}, {Mixed, 1}, {Empty, 12}, {Mixed, 1}, {Empty, 664},
289          {Mixed, 1}, {Empty, 44}, {Mixed, 1}, {Empty, 93}, {Mixed, 1},
290          {Empty, 3}, {Mixed, 1}, {Empty, 1}, {Mixed, 1}, {Empty, 4},
291          {Mixed, 1}, {Empty, 8}, {Mixed, 1}, {Empty, 10}, {Mixed, 1},
292          {Empty, 3}, {Mixed, 1}, {Empty, 11}, {Mixed, 1}, {Empty, 3},
293          {Mixed, 1}, {Empty, 2}, {Mixed, 1}, {Empty, 13}, {Mixed, 1},
294          {Empty, 26}, {Mixed, 1}, {Empty, 624}, {Mixed, 1}, {Empty, 6},
295          {Mixed, 1}, {Empty, 867}, {Mixed, 1}, {Full, 1}, {Empty, 138},
296          {Mixed, 1}, {Empty, 30901}},
297         {0x03ff0000, 0x000003ff, 0x03ff0000, 0x000003ff, 0x0000ffc0,
298          0x0000ffc0, 0x0000ffc0, 0x0000ffc0, 0x0000ffc0, 0x0000ffc0,
299          0x0000ffc0, 0x0000ffc0, 0x0000ffc0, 0x0000ffc0, 0x03ff0000,
300          0x03ff0000, 0x000003ff, 0x000003ff, 0x03ff0000, 0x000003ff,
301          0x03ff0000, 0x0000ffc0, 0x03ff0000, 0x03ff03ff, 0x03ff0000,
302          0x03ff0000, 0x03ff03ff, 0x000003ff, 0x03ff0000, 0x000003ff,
303          0x03ff0000, 0x03ff0000, 0x03ff0000, 0x03ff0000, 0x03ff0000,
304          0x000003ff, 0x0000ffc0, 0x03ff0000, 0xffc00000, 0x03ff0000,
305          0x03ff0000, 0x03ff0000, 0x03ff0000, 0x03ff0000, 0x000003ff,
306          0x03ff0000, 0x000003ff, 0x03ff0000, 0x000003ff, 0x03ff0000,
307          0xffffc000, 0x03ff0000}};
308    static EnumeratedPropertyObject property_object
309        {nt,
310         NT_ns::independent_prop_values,
311         NT_ns::enum_names,
312         NT_ns::value_names,
313         NT_ns::aliases_only_map,
314         {&none_Set, &nu_Set, &di_Set, &de_Set
315         }};
316    }
317}
318
319#endif
Note: See TracBrowser for help on using the repository browser.