blob: bee2808b333fb0492f6e587e395fd6b0afd55802 (plain)

ofs	hex dump	ascii
0000	ca fe ba be 00 00 00 31 00 44 07 00 02 01 00 22 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61	.......1.D....."org/sat4j/minisa
0020	74 2f 6f 72 64 65 72 73 2f 50 75 72 65 4f 72 64 65 72 07 00 04 01 00 25 6f 72 67 2f 73 61 74 34	t/orders/PureOrder.....%org/sat4
0040	6a 2f 6d 69 6e 69 73 61 74 2f 6f 72 64 65 72 73 2f 56 61 72 4f 72 64 65 72 48 65 61 70 01 00 10	j/minisat/orders/VarOrderHeap...
0060	73 65 72 69 61 6c 56 65 72 73 69 6f 6e 55 49 44 01 00 01 4a 01 00 0d 43 6f 6e 73 74 61 6e 74 56	serialVersionUID...J...ConstantV
0080	61 6c 75 65 05 00 00 00 00 00 00 00 01 01 00 06 70 65 72 69 6f 64 01 00 01 49 01 00 03 63 70 74	alue............period...I...cpt
00a0	01 00 06 3c 69 6e 69 74 3e 01 00 03 28 29 56 01 00 04 43 6f 64 65 0a 00 01 00 11 0c 00 0d 00 12	...<init>...()V...Code..........
00c0	01 00 04 28 49 29 56 01 00 0f 4c 69 6e 65 4e 75 6d 62 65 72 54 61 62 6c 65 01 00 12 4c 6f 63 61	...(I)V...LineNumberTable...Loca
00e0	6c 56 61 72 69 61 62 6c 65 54 61 62 6c 65 01 00 04 74 68 69 73 01 00 24 4c 6f 72 67 2f 73 61 74	lVariableTable...this..$Lorg/sat
0100	34 6a 2f 6d 69 6e 69 73 61 74 2f 6f 72 64 65 72 73 2f 50 75 72 65 4f 72 64 65 72 3b 0a 00 03 00	4j/minisat/orders/PureOrder;....
0120	18 0c 00 0d 00 0e 0a 00 01 00 1a 0c 00 1b 00 12 01 00 09 73 65 74 50 65 72 69 6f 64 01 00 01 70	...................setPeriod...p
0140	09 00 01 00 1e 0c 00 0a 00 0b 09 00 01 00 20 0c 00 0c 00 0b 01 00 09 67 65 74 50 65 72 69 6f 64	.......................getPeriod
0160	01 00 03 28 29 49 01 00 06 73 65 6c 65 63 74 09 00 01 00 25 0c 00 26 00 27 01 00 04 6c 69 74 73	...()I...select....%..&.'...lits
0180	01 00 1e 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 49 4c 69 74 73	...Lorg/sat4j/minisat/core/ILits
01a0	3b 0b 00 29 00 2b 07 00 2a 01 00 1c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f	;..).+..*...org/sat4j/minisat/co
01c0	72 65 2f 49 4c 69 74 73 0c 00 2c 00 22 01 00 05 6e 56 61 72 73 0b 00 29 00 2e 0c 00 2f 00 30 01	re/ILits..,."...nVars..)..../.0.
01e0	00 0c 69 73 55 6e 61 73 73 69 67 6e 65 64 01 00 04 28 49 29 5a 0b 00 29 00 32 0c 00 33 00 34 01	..isUnassigned...(I)Z..).2..3.4.
0200	00 07 77 61 74 63 68 65 73 01 00 19 28 49 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f	..watches...(I)Lorg/sat4j/specs/
0220	49 56 65 63 3b 0b 00 36 00 38 07 00 37 01 00 14 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f	IVec;..6.8..7...org/sat4j/specs/
0240	49 56 65 63 0c 00 39 00 22 01 00 04 73 69 7a 65 0a 00 03 00 3b 0c 00 23 00 22 01 00 06 6e 62 6c	IVec..9."...size....;..#."...nbl
0260	69 74 73 01 00 01 69 01 00 08 74 6f 53 74 72 69 6e 67 01 00 14 28 29 4c 6a 61 76 61 2f 6c 61 6e	its...i...toString...()Ljava/lan
0280	67 2f 53 74 72 69 6e 67 3b 08 00 41 01 00 87 74 72 69 65 73 20 74 6f 20 66 69 72 73 74 20 62 72	g/String;..A...tries.to.first.br
02a0	61 6e 63 68 20 6f 6e 20 61 20 73 69 6e 67 6c 65 20 70 68 61 73 65 20 77 61 74 63 68 65 64 20 75	anch.on.a.single.phase.watched.u
02c0	6e 61 73 73 69 67 6e 65 64 20 76 61 72 69 61 62 6c 65 20 28 70 75 72 65 20 6c 69 74 65 72 61 6c	nassigned.variable.(pure.literal
02e0	20 69 66 20 75 73 69 6e 67 20 61 20 43 42 20 64 61 74 61 20 73 74 72 75 63 74 75 72 65 29 20 65	.if.using.a.CB.data.structure).e
0300	6c 73 65 20 56 53 49 44 53 20 66 72 6f 6d 20 4d 69 6e 69 53 41 54 01 00 0a 53 6f 75 72 63 65 46	lse.VSIDS.from.MiniSAT...SourceF
0320	69 6c 65 01 00 0e 50 75 72 65 4f 72 64 65 72 2e 6a 61 76 61 00 31 00 01 00 03 00 00 00 03 00 1a	ile...PureOrder.java.1..........
0340	00 05 00 06 00 01 00 07 00 00 00 02 00 08 00 02 00 0a 00 0b 00 00 00 02 00 0c 00 0b 00 00 00 06	................................
0360	00 01 00 0d 00 0e 00 01 00 0f 00 00 00 35 00 02 00 01 00 00 00 07 2a 10 14 b7 00 10 b1 00 00 00	.............5........*.........
0380	02 00 13 00 00 00 0a 00 02 00 00 00 30 00 06 00 31 00 14 00 00 00 0c 00 01 00 00 00 07 00 15 00	............0...1...............
03a0	16 00 00 00 01 00 0d 00 12 00 01 00 0f 00 00 00 46 00 02 00 02 00 00 00 0a 2a b7 00 17 2a 1b b6	................F........*...*..
03c0	00 19 b1 00 00 00 02 00 13 00 00 00 0e 00 03 00 00 00 33 00 04 00 34 00 09 00 35 00 14 00 00 00	..................3...4...5.....
03e0	16 00 02 00 00 00 0a 00 15 00 16 00 00 00 00 00 0a 00 1c 00 0b 00 01 00 01 00 1b 00 12 00 01 00	................................
0400	0f 00 00 00 4a 00 02 00 02 00 00 00 0e 2a 1b b5 00 1d 2a 2a b4 00 1d b5 00 1f b1 00 00 00 02 00	....J........*....**............
0420	13 00 00 00 0e 00 03 00 00 00 38 00 05 00 39 00 0d 00 3a 00 14 00 00 00 16 00 02 00 00 00 0e 00	..........8...9...:.............
0440	15 00 16 00 00 00 00 00 0e 00 1c 00 0b 00 01 00 01 00 21 00 22 00 01 00 0f 00 00 00 2f 00 01 00	..................!."......./...
0460	01 00 00 00 05 2a b4 00 1d ac 00 00 00 02 00 13 00 00 00 06 00 01 00 00 00 3d 00 14 00 00 00 0c	.....*...................=......
0480	00 01 00 00 00 05 00 15 00 16 00 00 00 01 00 23 00 22 00 01 00 0f 00 00 00 d6 00 03 00 03 00 00	...............#."..............
04a0	00 70 2a b4 00 1f 2a b4 00 1d a2 00 10 2a 59 b4 00 1f 04 60 b5 00 1f a7 00 56 2a 03 b5 00 1f 05	.p*...*......*Y....`.....V*.....
04c0	2a b4 00 24 b9 00 28 01 00 68 3c 05 3d a7 00 3b 2a b4 00 24 1c b9 00 2d 02 00 99 00 2b 2a b4 00	*..$..(..h<.=..;*..$...-....+*..
04e0	24 1c b9 00 31 02 00 b9 00 35 01 00 9e 00 19 2a b4 00 24 1c 04 82 b9 00 31 02 00 b9 00 35 01 00	$...1....5.....*..$.....1....5..
0500	9a 00 05 1c ac 84 02 01 1c 1b a4 ff c6 2a b7 00 3a ac 00 00 00 02 00 13 00 00 00 2e 00 0b 00 00	.............*..:...............
0520	00 48 00 0b 00 49 00 18 00 4c 00 1d 00 4d 00 29 00 4e 00 2e 00 4f 00 3b 00 50 00 4d 00 51 00 61	.H...I...L...M.).N...O.;.P.M.Q.a
0540	00 52 00 63 00 4e 00 6b 00 57 00 14 00 00 00 20 00 03 00 00 00 70 00 15 00 16 00 00 00 29 00 42	.R.c.N.k.W...........p.......).B
0560	00 3c 00 0b 00 01 00 2b 00 40 00 3d 00 0b 00 02 00 01 00 3e 00 3f 00 01 00 0f 00 00 00 2d 00 01	.<.....+.@.=.......>.?.......-..
0580	00 01 00 00 00 03 12 40 b0 00 00 00 02 00 13 00 00 00 06 00 01 00 00 00 5c 00 14 00 00 00 0c 00	.......@................\.......
05a0	01 00 00 00 03 00 15 00 16 00 00 00 01 00 42 00 00 00 02 00 43	..............B.....C