Rev 81 | Rev 154 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 81 | Rev 108 | ||
|---|---|---|---|
| Line 117... | Line 117... | ||
| 117 | static siT count_cpv[rcL][rpL]; |
117 | static siT count_cpv[rcL][rpL]; |
| 118 | 118 | ||
| 119 | /* the current board */ |
119 | /* the current board */ |
| 120 | static rbT EPDboard; |
120 | static rbT EPDboard; |
| 121 | 121 | ||
| 122 | /* the current environment stack entry |
122 | /* the current environment stack entry */ |
| 123 | static eseT ese; |
123 | static eseT ese; |
| 124 | 124 | ||
| 125 | /* the current tree stack entry */ |
125 | /* the current tree stack entry */ |
| 126 | static tseT tse; |
126 | static tseT tse; |
| 127 | 127 | ||