blob: 3230b91e48dade6dacb07944086b54adb257b96e (plain)

ofs	hex dump	ascii
0000	ca fe ba be 00 00 00 31 00 73 07 00 02 01 00 35 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 6e	.......1.s.....5org/sat4j/pb/con
0020	73 74 72 61 69 6e 74 73 2f 70 62 2f 43 6f 6e 66 6c 69 63 74 4d 61 70 53 77 69 74 63 68 54 6f 43	straints/pb/ConflictMapSwitchToC
0040	6c 61 75 73 65 07 00 04 01 00 27 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 6e 73 74 72 61 69	lause.....'org/sat4j/pb/constrai
0060	6e 74 73 2f 70 62 2f 43 6f 6e 66 6c 69 63 74 4d 61 70 01 00 0a 55 70 70 65 72 42 6f 75 6e 64 01	nts/pb/ConflictMap...UpperBound.
0080	00 01 49 01 00 06 3c 69 6e 69 74 3e 01 00 2a 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f	..I...<init>..*(Lorg/sat4j/pb/co
00a0	6e 73 74 72 61 69 6e 74 73 2f 70 62 2f 50 42 43 6f 6e 73 74 72 3b 49 29 56 01 00 04 43 6f 64 65	nstraints/pb/PBConstr;I)V...Code
00c0	0a 00 03 00 0b 0c 00 07 00 08 01 00 0f 4c 69 6e 65 4e 75 6d 62 65 72 54 61 62 6c 65 01 00 12 4c	.............LineNumberTable...L
00e0	6f 63 61 6c 56 61 72 69 61 62 6c 65 54 61 62 6c 65 01 00 04 74 68 69 73 01 00 37 4c 6f 72 67 2f	ocalVariableTable...this..7Lorg/
0100	73 61 74 34 6a 2f 70 62 2f 63 6f 6e 73 74 72 61 69 6e 74 73 2f 70 62 2f 43 6f 6e 66 6c 69 63 74	sat4j/pb/constraints/pb/Conflict
0120	4d 61 70 53 77 69 74 63 68 54 6f 43 6c 61 75 73 65 3b 01 00 03 63 70 62 01 00 26 4c 6f 72 67 2f	MapSwitchToClause;...cpb..&Lorg/
0140	73 61 74 34 6a 2f 70 62 2f 63 6f 6e 73 74 72 61 69 6e 74 73 2f 70 62 2f 50 42 43 6f 6e 73 74 72	sat4j/pb/constraints/pb/PBConstr
0160	3b 01 00 05 6c 65 76 65 6c 01 00 0e 63 72 65 61 74 65 43 6f 6e 66 6c 69 63 74 01 00 50 28 4c 6f	;...level...createConflict..P(Lo
0180	72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 6e 73 74 72 61 69 6e 74 73 2f 70 62 2f 50 42 43 6f 6e	rg/sat4j/pb/constraints/pb/PBCon
01a0	73 74 72 3b 49 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 6e 73 74 72 61 69 6e 74 73 2f	str;I)Lorg/sat4j/pb/constraints/
01c0	70 62 2f 49 43 6f 6e 66 6c 69 63 74 3b 0a 00 01 00 0b 01 00 13 72 65 64 75 63 65 55 6e 74 69 6c	pb/IConflict;........reduceUntil
01e0	43 6f 6e 66 6c 69 63 74 01 00 57 28 49 49 5b 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74	Conflict..W(II[Ljava/math/BigInt
0200	65 67 65 72 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 6e 73 74 72 61 69 6e 74 73 2f 70	eger;Lorg/sat4j/pb/constraints/p
0220	62 2f 49 57 61 74 63 68 50 62 3b 29 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65	b/IWatchPb;)Ljava/math/BigIntege
0240	72 3b 0a 00 03 00 19 0c 00 16 00 17 09 00 1b 00 1d 07 00 1c 01 00 14 6a 61 76 61 2f 6d 61 74 68	r;.....................java/math
0260	2f 42 69 67 49 6e 74 65 67 65 72 0c 00 1e 00 1f 01 00 04 5a 45 52 4f 01 00 16 4c 6a 61 76 61 2f	/BigInteger........ZERO...Ljava/
0280	6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65 72 3b 0a 00 1b 00 21 0c 00 22 00 23 01 00 06 65 71 75	math/BigInteger;....!..".#...equ
02a0	61 6c 73 01 00 15 28 4c 6a 61 76 61 2f 6c 61 6e 67 2f 4f 62 6a 65 63 74 3b 29 5a 09 00 01 00 25	als...(Ljava/lang/Object;)Z....%
02c0	0c 00 26 00 1f 01 00 0c 63 6f 65 66 4d 75 6c 74 43 6f 6e 73 0a 00 1b 00 28 0c 00 29 00 2a 01 00	..&.....coefMultCons....(..).*..
02e0	08 6d 75 6c 74 69 70 6c 79 01 00 2e 28 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67	.multiply...(Ljava/math/BigInteg
0300	65 72 3b 29 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65 72 3b 09 00 01 00 2c 0c	er;)Ljava/math/BigInteger;....,.
0320	00 2d 00 2e 01 00 0c 77 65 69 67 68 74 65 64 4c 69 74 73 01 00 34 4c 6f 72 67 2f 73 61 74 34 6a	.-.....weightedLits..4Lorg/sat4j
0340	2f 70 62 2f 63 6f 6e 73 74 72 61 69 6e 74 73 2f 70 62 2f 49 6e 74 65 72 6e 61 6c 4d 61 70 50 42	/pb/constraints/pb/InternalMapPB
0360	53 74 72 75 63 74 75 72 65 3b 0b 00 30 00 32 07 00 31 01 00 24 6f 72 67 2f 73 61 74 34 6a 2f 70	Structure;..0.2..1..$org/sat4j/p
0380	62 2f 63 6f 6e 73 74 72 61 69 6e 74 73 2f 70 62 2f 49 57 61 74 63 68 50 62 0c 00 33 00 34 01 00	b/constraints/pb/IWatchPb..3.4..
03a0	03 67 65 74 01 00 04 28 49 29 49 0a 00 36 00 38 07 00 37 01 00 32 6f 72 67 2f 73 61 74 34 6a 2f	.get...(I)I..6.8..7..2org/sat4j/
03c0	70 62 2f 63 6f 6e 73 74 72 61 69 6e 74 73 2f 70 62 2f 49 6e 74 65 72 6e 61 6c 4d 61 70 50 42 53	pb/constraints/pb/InternalMapPBS
03e0	74 72 75 63 74 75 72 65 0c 00 39 00 3a 01 00 0b 63 6f 6e 74 61 69 6e 73 4b 65 79 01 00 04 28 49	tructure..9.:...containsKey...(I
0400	29 5a 0a 00 36 00 3c 0c 00 33 00 3d 01 00 19 28 49 29 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67	)Z..6.<..3.=...(I)Ljava/math/Big
0420	49 6e 74 65 67 65 72 3b 09 00 01 00 3f 0c 00 40 00 1f 01 00 08 63 6f 65 66 4d 75 6c 74 0a 00 1b	Integer;....?..@.....coefMult...
0440	00 42 0c 00 43 00 2a 01 00 03 61 64 64 0a 00 1b 00 45 0c 00 46 00 47 01 00 08 74 6f 53 74 72 69	.B..C.*...add....E..F.G...toStri
0460	6e 67 01 00 14 28 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 0a 00 49 00 4b 07 00	ng...()Ljava/lang/String;..I.K..
0480	4a 01 00 10 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 0c 00 4c 00 4d 01 00 06 6c 65 6e 67	J...java/lang/String..L.M...leng
04a0	74 68 01 00 03 28 29 49 09 00 01 00 4f 0c 00 05 00 06 09 00 01 00 51 0c 00 52 00 53 01 00 12 6e	th...()I....O.........Q..R.S...n
04c0	75 6d 62 65 72 4f 66 52 65 64 75 63 74 69 6f 6e 73 01 00 01 4a 09 00 01 00 55 0c 00 56 00 57 01	umberOfReductions...J....U..V.W.
04e0	00 0e 68 61 73 42 65 65 6e 52 65 64 75 63 65 64 01 00 01 5a 0a 00 01 00 59 0c 00 5a 00 5b 01 00	..hasBeenReduced...Z....Y..Z.[..
0500	0e 72 65 64 75 63 65 54 6f 43 6c 61 75 73 65 01 00 56 28 49 4c 6f 72 67 2f 73 61 74 34 6a 2f 70	.reduceToClause..V(ILorg/sat4j/p
0520	62 2f 63 6f 6e 73 74 72 61 69 6e 74 73 2f 70 62 2f 49 57 61 74 63 68 50 62 3b 5b 4c 6a 61 76 61	b/constraints/pb/IWatchPb;[Ljava
0540	2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65 72 3b 29 4c 6a 61 76 61 2f 6d 61 74 68 2f 42 69 67	/math/BigInteger;)Ljava/math/Big
0560	49 6e 74 65 67 65 72 3b 09 00 1b 00 5d 0c 00 5e 00 1f 01 00 03 4f 4e 45 01 00 0a 6c 69 74 49 6d	Integer;....]..^.....ONE...litIm
0580	70 6c 69 65 64 01 00 03 69 6e 64 01 00 0c 72 65 64 75 63 65 64 43 6f 65 66 73 01 00 17 5b 4c 6a	plied...ind...reducedCoefs...[Lj
05a0	61 76 61 2f 6d 61 74 68 2f 42 69 67 49 6e 74 65 67 65 72 3b 01 00 03 77 70 62 01 00 26 4c 6f 72	ava/math/BigInteger;...wpb..&Lor
05c0	67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 6e 73 74 72 61 69 6e 74 73 2f 70 62 2f 49 57 61 74 63 68	g/sat4j/pb/constraints/pb/IWatch
05e0	50 62 3b 01 00 0a 64 65 67 72 65 65 43 6f 6e 73 01 00 01 69 01 00 07 62 69 67 43 6f 65 66 0b 00	Pb;...degreeCons...i...bigCoef..
0600	30 00 69 0c 00 6a 00 6b 01 00 0d 67 65 74 56 6f 63 61 62 75 6c 61 72 79 01 00 20 28 29 4c 6f 72	0.i..j.k...getVocabulary...()Lor
0620	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 3b 0b 00 6d 00 6f	g/sat4j/minisat/core/ILits;..m.o
0640	07 00 6e 01 00 1c 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	..n...org/sat4j/minisat/core/ILi
0660	74 73 0c 00 70 00 3a 01 00 0b 69 73 46 61 6c 73 69 66 69 65 64 01 00 0a 53 6f 75 72 63 65 46 69	ts..p.:...isFalsified...SourceFi
0680	6c 65 01 00 1e 43 6f 6e 66 6c 69 63 74 4d 61 70 53 77 69 74 63 68 54 6f 43 6c 61 75 73 65 2e 6a	le...ConflictMapSwitchToClause.j
06a0	61 76 61 00 31 00 01 00 03 00 00 00 01 00 09 00 05 00 06 00 00 00 04 00 01 00 07 00 08 00 01 00	ava.1...........................
06c0	09 00 00 00 49 00 03 00 03 00 00 00 07 2a 2b 1c b7 00 0a b1 00 00 00 02 00 0c 00 00 00 0a 00 02	....I........*+.................
06e0	00 00 00 27 00 06 00 28 00 0d 00 00 00 20 00 03 00 00 00 07 00 0e 00 0f 00 00 00 00 00 07 00 10	...'...(........................
0700	00 11 00 01 00 00 00 07 00 12 00 06 00 02 00 09 00 13 00 14 00 01 00 09 00 00 00 3e 00 04 00 02	...........................>....
0720	00 00 00 0a bb 00 01 59 2a 1b b7 00 15 b0 00 00 00 02 00 0c 00 00 00 06 00 01 00 00 00 2b 00 0d	.......Y*....................+..
0740	00 00 00 16 00 02 00 00 00 0a 00 10 00 11 00 00 00 00 00 0a 00 12 00 06 00 01 00 04 00 16 00 17	................................
0760	00 01 00 09 00 00 01 72 00 05 00 08 00 00 00 b2 2a 1b 1c 2d 19 04 b7 00 18 3a 05 03 36 06 a7 00	.......r........*..-.....:..6...
0780	06 84 06 01 15 06 2d be a2 00 16 2d 15 06 32 b2 00 1a b6 00 20 99 00 09 15 06 1c a0 ff e6 15 06	......-....-..2.................
07a0	2d be a2 00 7d 2d 15 06 32 2a b4 00 24 b6 00 27 3a 07 2a b4 00 2b 19 04 15 06 b9 00 2f 02 00 b6	-...}-..2*..$..':.*..+....../...
07c0	00 35 99 00 21 19 07 2a b4 00 2b 19 04 15 06 b9 00 2f 02 00 b6 00 3b 2a b4 00 3e b6 00 27 b6 00	.5..!..*..+....../....;*..>..'..
07e0	41 3a 07 19 07 b6 00 44 b6 00 48 b2 00 4e a4 00 31 2a 59 b4 00 50 0a 61 b5 00 50 2a 04 b5 00 54	A:.....D..H..N..1*Y..P.a..P*...T
0800	2a 1c 19 04 2d b7 00 58 3a 05 2a 2a b4 00 2b 1b 04 82 b6 00 3b b5 00 24 2a b2 00 5c b5 00 3e 19	*...-..X:.**..+.....;..$*..\..>.
0820	05 b0 00 00 00 02 00 0c 00 00 00 56 00 15 00 00 00 3b 00 03 00 3c 00 06 00 3b 00 0b 00 3e 00 0e	...........V.....;...<...;...>..
0840	00 3f 00 11 00 40 00 14 00 3f 00 1b 00 40 00 2e 00 42 00 35 00 43 00 42 00 44 00 55 00 45 00 67	.?...@...?...@...B.5.C.B.D.U.E.g
0860	00 46 00 6e 00 45 00 73 00 48 00 81 00 4b 00 8b 00 4c 00 90 00 4d 00 9a 00 4e 00 a8 00 4f 00 af	.F.n.E.s.H...K...L...M...N...O..
0880	00 52 00 0d 00 00 00 52 00 08 00 00 00 b2 00 0e 00 0f 00 00 00 00 00 b2 00 5f 00 06 00 01 00 00	.R.....R................._......
08a0	00 b2 00 60 00 06 00 02 00 00 00 b2 00 61 00 62 00 03 00 00 00 b2 00 63 00 64 00 04 00 0b 00 a7	...`.........a.b.......c.d......
08c0	00 65 00 1f 00 05 00 0e 00 a4 00 66 00 06 00 06 00 42 00 6d 00 67 00 1f 00 07 00 02 00 5a 00 5b	.e.........f.....B.m.g.......Z.[
08e0	00 01 00 09 00 00 00 a7 00 03 00 05 00 00 00 41 03 36 04 a7 00 33 15 04 1b 9f 00 19 2c b9 00 68	...............A.6...3......,..h
0900	01 00 2c 15 04 b9 00 2f 02 00 b9 00 6c 02 00 99 00 0d 2d 15 04 b2 00 5c 53 a7 00 0a 2d 15 04 b2	..,..../....l.....-....\S...-...
0920	00 1a 53 84 04 01 15 04 2d be a1 ff cc b2 00 5c b0 00 00 00 02 00 0c 00 00 00 1a 00 06 00 00 00	..S.....-......\................
0940	57 00 06 00 58 00 22 00 59 00 2c 00 5b 00 33 00 57 00 3d 00 5e 00 0d 00 00 00 34 00 05 00 00 00	W...X.".Y.,.[.3.W.=.^.....4.....
0960	41 00 0e 00 0f 00 00 00 00 00 41 00 60 00 06 00 01 00 00 00 41 00 63 00 64 00 02 00 00 00 41 00	A.........A.`.......A.c.d.....A.
0980	61 00 62 00 03 00 03 00 3a 00 66 00 06 00 04 00 01 00 71 00 00 00 02 00 72	a.b.....:.f.......q.....r