source: icGREP/icgrep-devel/cudd-2.5.1/dddmp/exp/1.add @ 4597

Last change on this file since 4597 was 4597, checked in by nmedfort, 4 years ago

Upload of the CUDD library.

File size: 727 bytes
Line 
1.ver DDDMP-2.0
2.add
3.mode A
4.varinfo 0
5.nnodes 12
6.nvars 50
7.nsuppvars 4
8.suppvarnames DUMMY1 DUMMY2 DUMMY3 DUMMY4
9.orderedvarnames DUMMY0 DUMMY1 DUMMY2 DUMMY3 DUMMY4 DUMMY5 DUMMY6 DUMMY7 DUMMY8 DUMMY9 DUMMY10 DUMMY11 DUMMY12 DUMMY13 DUMMY14 DUMMY15 DUMMY16 DUMMY17 DUMMY18 DUMMY19 DUMMY20 DUMMY21 DUMMY22 DUMMY23 DUMMY24 DUMMY25 DUMMY26 DUMMY27 DUMMY28 DUMMY29 DUMMY30 DUMMY31 DUMMY32 DUMMY33 DUMMY34 DUMMY35 DUMMY36 DUMMY37 DUMMY38 DUMMY39 DUMMY40 DUMMY41 DUMMY42 DUMMY43 DUMMY44 DUMMY45 DUMMY46 DUMMY47 DUMMY48 DUMMY49
10.ids 1 2 3 4
11.permids 1 2 3 4
12.auxids 2 3 4 0
13.nroots 1
14.rootids 12
15.nodes
161 T 0 0 0
172 T 2 0 0
183 4 3 1 2
194 T 1 0 0
205 4 3 4 1
216 3 2 3 5
227 4 3 2 4
238 3 2 7 3
249 2 1 6 8
2510 3 2 5 7
2611 2 1 10 6
2712 1 0 9 11
28.end
Note: See TracBrowser for help on using the repository browser.