Board.props 258 Bytes
Newer Older
point's avatar
point committed
1
2
3
4
/*
 * Properties for node : Board
 * # state properties : 6
 *
5
 * CL = 4
point's avatar
point committed
6
 * D = 2
7
 * O = 8
point's avatar
point committed
8
 * W = 2
9
10
 * any_s = 16
 * initial = 16
point's avatar
point committed
11
12
13
 *
 * # trans properties : 5
 *
14
 * any_t = 176
point's avatar
point committed
15
 * epsilon = 16
16
 * not_deterministic = 160
point's avatar
point committed
17
18
19
 * self = 16
 * self_epsilon = 16
 */