blob: 1dbafb69fbbdb02c57e557187999acc7d9910c4f (plain)

ofs	hex dump	ascii
0000	ca fe ba be 00 00 00 31 00 66 07 00 02 01 00 2a 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61	.......1.f.....*org/sat4j/minisa
0020	74 2f 6c 65 61 72 6e 69 6e 67 2f 4c 69 6d 69 74 65 64 4c 65 61 72 6e 69 6e 67 07 00 04 01 00 10	t/learning/LimitedLearning......
0040	6a 61 76 61 2f 6c 61 6e 67 2f 4f 62 6a 65 63 74 07 00 06 01 00 27 6f 72 67 2f 73 61 74 34 6a 2f	java/lang/Object.....'org/sat4j/
0060	6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 4c 65 61 72 6e 69 6e 67 53 74 72 61 74 65 67 79 01 00 10	minisat/core/LearningStrategy...
0080	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
00a0	61 6c 75 65 05 00 00 00 00 00 00 00 01 01 00 04 6e 6f 6e 65 01 00 34 4c 6f 72 67 2f 73 61 74 34	alue............none..4Lorg/sat4
00c0	6a 2f 6d 69 6e 69 73 61 74 2f 6c 65 61 72 6e 69 6e 67 2f 4e 6f 4c 65 61 72 6e 69 6e 67 42 75 74	j/minisat/learning/NoLearningBut
00e0	48 65 75 72 69 73 74 69 63 73 3b 01 00 09 53 69 67 6e 61 74 75 72 65 01 00 39 4c 6f 72 67 2f 73	Heuristics;...Signature..9Lorg/s
0100	61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 6c 65 61 72 6e 69 6e 67 2f 4e 6f 4c 65 61 72 6e 69 6e 67	at4j/minisat/learning/NoLearning
0120	42 75 74 48 65 75 72 69 73 74 69 63 73 3c 54 44 3b 3e 3b 01 00 03 61 6c 6c 01 00 2c 4c 6f 72 67	ButHeuristics<TD;>;...all..,Lorg
0140	2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 6c 65 61 72 6e 69 6e 67 2f 4d 69 6e 69 53 41 54 4c	/sat4j/minisat/learning/MiniSATL
0160	65 61 72 6e 69 6e 67 3b 01 00 31 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 6c 65	earning;..1Lorg/sat4j/minisat/le
0180	61 72 6e 69 6e 67 2f 4d 69 6e 69 53 41 54 4c 65 61 72 6e 69 6e 67 3c 54 44 3b 3e 3b 01 00 04 6c	arning/MiniSATLearning<TD;>;...l
01a0	69 74 73 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	its...Lorg/sat4j/minisat/core/IL
01c0	69 74 73 3b 01 00 05 73 74 61 74 73 01 00 24 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61	its;...stats..$Lorg/sat4j/minisa
01e0	74 2f 63 6f 72 65 2f 53 6f 6c 76 65 72 53 74 61 74 73 3b 01 00 06 3c 69 6e 69 74 3e 01 00 03 28	t/core/SolverStats;...<init>...(
0200	29 56 01 00 04 43 6f 64 65 0a 00 03 00 1b 0c 00 17 00 18 07 00 1d 01 00 32 6f 72 67 2f 73 61 74	)V...Code...............2org/sat
0220	34 6a 2f 6d 69 6e 69 73 61 74 2f 6c 65 61 72 6e 69 6e 67 2f 4e 6f 4c 65 61 72 6e 69 6e 67 42 75	4j/minisat/learning/NoLearningBu
0240	74 48 65 75 72 69 73 74 69 63 73 0a 00 1c 00 1b 09 00 01 00 20 0c 00 0c 00 0d 07 00 22 01 00 2a	tHeuristics................."..*
0260	6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 6c 65 61 72 6e 69 6e 67 2f 4d 69 6e 69 53	org/sat4j/minisat/learning/MiniS
0280	41 54 4c 65 61 72 6e 69 6e 67 0a 00 21 00 1b 09 00 01 00 25 0c 00 10 00 11 01 00 0f 4c 69 6e 65	ATLearning..!......%........Line
02a0	4e 75 6d 62 65 72 54 61 62 6c 65 01 00 12 4c 6f 63 61 6c 56 61 72 69 61 62 6c 65 54 61 62 6c 65	NumberTable...LocalVariableTable
02c0	01 00 04 74 68 69 73 01 00 2c 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 6c 65 61	...this..,Lorg/sat4j/minisat/lea
02e0	72 6e 69 6e 67 2f 4c 69 6d 69 74 65 64 4c 65 61 72 6e 69 6e 67 3b 01 00 16 4c 6f 63 61 6c 56 61	rning/LimitedLearning;...LocalVa
0300	72 69 61 62 6c 65 54 79 70 65 54 61 62 6c 65 01 00 31 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e	riableTypeTable..1Lorg/sat4j/min
0320	69 73 61 74 2f 6c 65 61 72 6e 69 6e 67 2f 4c 69 6d 69 74 65 64 4c 65 61 72 6e 69 6e 67 3c 54 44	isat/learning/LimitedLearning<TD
0340	3b 3e 3b 01 00 09 73 65 74 53 6f 6c 76 65 72 01 00 22 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69	;>;...setSolver.."(Lorg/sat4j/mi
0360	6e 69 73 61 74 2f 63 6f 72 65 2f 53 6f 6c 76 65 72 3b 29 56 01 00 27 28 4c 6f 72 67 2f 73 61 74	nisat/core/Solver;)V..'(Lorg/sat
0380	34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 53 6f 6c 76 65 72 3c 54 44 3b 3e 3b 29 56 0a 00	4j/minisat/core/Solver<TD;>;)V..
03a0	30 00 32 07 00 31 01 00 1d 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f	0.2..1...org/sat4j/minisat/core/
03c0	53 6f 6c 76 65 72 0c 00 33 00 34 01 00 0d 67 65 74 56 6f 63 61 62 75 6c 61 72 79 01 00 20 28 29	Solver..3.4...getVocabulary...()
03e0	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 3b 09 00	Lorg/sat4j/minisat/core/ILits;..
0400	01 00 36 0c 00 13 00 14 0a 00 01 00 38 0c 00 39 00 3a 01 00 16 73 65 74 56 61 72 41 63 74 69 76	..6.........8..9.:...setVarActiv
0420	69 74 79 4c 69 73 74 65 6e 65 72 01 00 2f 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61	ityListener../(Lorg/sat4j/minisa
0440	74 2f 63 6f 72 65 2f 56 61 72 41 63 74 69 76 69 74 79 4c 69 73 74 65 6e 65 72 3b 29 56 0a 00 30	t/core/VarActivityListener;)V..0
0460	00 3c 0c 00 3d 00 3e 01 00 0c 67 65 74 44 53 46 61 63 74 6f 72 79 01 00 2f 28 29 4c 6f 72 67 2f	.<..=.>...getDSFactory../()Lorg/
0480	73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 44 61 74 61 53 74 72 75 63 74 75 72 65	sat4j/minisat/core/DataStructure
04a0	46 61 63 74 6f 72 79 3b 0a 00 21 00 40 0c 00 41 00 42 01 00 17 73 65 74 44 61 74 61 53 74 72 75	Factory;..!.@..A.B...setDataStru
04c0	63 74 75 72 65 46 61 63 74 6f 72 79 01 00 30 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73	ctureFactory..0(Lorg/sat4j/minis
04e0	61 74 2f 63 6f 72 65 2f 44 61 74 61 53 74 72 75 63 74 75 72 65 46 61 63 74 6f 72 79 3b 29 56 0a	at/core/DataStructureFactory;)V.
0500	00 30 00 44 0c 00 45 00 46 01 00 08 67 65 74 53 74 61 74 73 01 00 26 28 29 4c 6f 72 67 2f 73 61	.0.D..E.F...getStats..&()Lorg/sa
0520	74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 53 6f 6c 76 65 72 53 74 61 74 73 3b 09 00 01	t4j/minisat/core/SolverStats;...
0540	00 48 0c 00 15 00 16 01 00 01 73 01 00 1f 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74	.H........s...Lorg/sat4j/minisat
0560	2f 63 6f 72 65 2f 53 6f 6c 76 65 72 3b 01 00 24 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73	/core/Solver;..$Lorg/sat4j/minis
0580	61 74 2f 63 6f 72 65 2f 53 6f 6c 76 65 72 3c 54 44 3b 3e 3b 01 00 06 6c 65 61 72 6e 73 01 00 22	at/core/Solver<TD;>;...learns.."
05a0	28 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 43 6f 6e 73 74 72 3b	(Lorg/sat4j/minisat/core/Constr;
05c0	29 56 0a 00 01 00 4f 0c 00 50 00 51 01 00 11 6c 65 61 72 6e 69 6e 67 43 6f 6e 64 69 74 69 6f 6e	)V....O..P.Q...learningCondition
05e0	01 00 22 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 43 6f 6e 73	.."(Lorg/sat4j/minisat/core/Cons
0600	74 72 3b 29 5a 0a 00 21 00 53 0c 00 4c 00 4d 0a 00 1c 00 53 09 00 56 00 58 07 00 57 01 00 22 6f	tr;)Z..!.S..L.M....S..V.X..W.."o
0620	72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 53 6f 6c 76 65 72 53 74 61 74	rg/sat4j/minisat/core/SolverStat
0640	73 0c 00 59 00 08 01 00 0e 69 67 6e 6f 72 65 64 63 6c 61 75 73 65 73 01 00 06 63 6f 6e 73 74 72	s..Y.....ignoredclauses...constr
0660	01 00 1f 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 43 6f 6e 73 74	...Lorg/sat4j/minisat/core/Const
0680	72 3b 01 00 04 69 6e 69 74 0a 00 21 00 5e 0c 00 5c 00 18 0a 00 1c 00 5e 0a 00 1c 00 38 0a 00 21	r;...init..!.^..\......^....8..!
06a0	00 38 01 00 2c 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 56 61 72	.8..,Lorg/sat4j/minisat/core/Var
06c0	41 63 74 69 76 69 74 79 4c 69 73 74 65 6e 65 72 3b 01 00 0a 53 6f 75 72 63 65 46 69 6c 65 01 00	ActivityListener;...SourceFile..
06e0	14 4c 69 6d 69 74 65 64 4c 65 61 72 6e 69 6e 67 2e 6a 61 76 61 01 00 72 3c 44 3a 3a 4c 6f 72 67	.LimitedLearning.java..r<D::Lorg
0700	2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 44 61 74 61 53 74 72 75 63 74 75 72	/sat4j/minisat/core/DataStructur
0720	65 46 61 63 74 6f 72 79 3b 3e 4c 6a 61 76 61 2f 6c 61 6e 67 2f 4f 62 6a 65 63 74 3b 4c 6f 72 67	eFactory;>Ljava/lang/Object;Lorg
0740	2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 4c 65 61 72 6e 69 6e 67 53 74 72 61	/sat4j/minisat/core/LearningStra
0760	74 65 67 79 3c 54 44 3b 3e 3b 04 21 00 01 00 03 00 01 00 05 00 05 00 1a 00 07 00 08 00 01 00 09	tegy<TD;>;.!....................
0780	00 00 00 02 00 0a 00 12 00 0c 00 0d 00 01 00 0e 00 00 00 02 00 0f 00 12 00 10 00 11 00 01 00 0e	................................
07a0	00 00 00 02 00 12 00 04 00 13 00 14 00 00 00 02 00 15 00 16 00 00 00 06 00 01 00 17 00 18 00 01	................................
07c0	00 19 00 00 00 63 00 03 00 01 00 00 00 1b 2a b7 00 1a 2a bb 00 1c 59 b7 00 1e b5 00 1f 2a bb 00	.....c........*...*...Y......*..
07e0	21 59 b7 00 23 b5 00 24 b1 00 00 00 03 00 26 00 00 00 12 00 04 00 00 00 3b 00 04 00 3c 00 0f 00	!Y..#..$......&.........;...<...
0800	3d 00 1a 00 3e 00 27 00 00 00 0c 00 01 00 00 00 1b 00 28 00 29 00 00 00 2a 00 00 00 0c 00 01 00	=...>.'...........(.)...*.......
0820	00 00 1b 00 28 00 2b 00 00 00 01 00 2c 00 2d 00 02 00 0e 00 00 00 02 00 2e 00 19 00 00 00 89 00	....(.+.....,.-.................
0840	02 00 02 00 00 00 25 2b c6 00 23 2a 2b b6 00 2f b5 00 35 2a 2b b6 00 37 2a b4 00 24 2b b6 00 3b	......%+..#*+../..5*+..7*..$+..;
0860	b6 00 3f 2a 2b b6 00 43 b5 00 47 b1 00 00 00 03 00 26 00 00 00 1a 00 06 00 00 00 41 00 04 00 42	..?*+..C..G......&.........A...B
0880	00 0c 00 43 00 11 00 44 00 1c 00 45 00 24 00 47 00 27 00 00 00 16 00 02 00 00 00 25 00 28 00 29	...C...D...E.$.G.'.........%.(.)
08a0	00 00 00 00 00 25 00 49 00 4a 00 01 00 2a 00 00 00 16 00 02 00 00 00 25 00 28 00 2b 00 00 00 00	.....%.I.J...*.........%.(.+....
08c0	00 25 00 49 00 4b 00 01 00 01 00 4c 00 4d 00 01 00 19 00 00 00 7f 00 05 00 02 00 00 00 29 2a 2b	.%.I.K.....L.M...............)*+
08e0	b6 00 4e 99 00 0e 2a b4 00 24 2b b6 00 52 a7 00 18 2a b4 00 1f 2b b6 00 54 2a b4 00 47 59 b4 00	..N...*..$+..R...*...+..T*..GY..
0900	55 0a 61 b5 00 55 b1 00 00 00 03 00 26 00 00 00 16 00 05 00 00 00 4a 00 08 00 4b 00 13 00 4d 00	U.a..U......&.........J...K...M.
0920	1b 00 4e 00 28 00 50 00 27 00 00 00 16 00 02 00 00 00 29 00 28 00 29 00 00 00 00 00 29 00 5a 00	..N.(.P.'.........).(.).....).Z.
0940	5b 00 01 00 2a 00 00 00 0c 00 01 00 00 00 29 00 28 00 2b 00 00 04 04 00 50 00 51 00 00 00 01 00	[...*.........).(.+.....P.Q.....
0960	5c 00 18 00 01 00 19 00 00 00 53 00 01 00 01 00 00 00 0f 2a b4 00 24 b6 00 5d 2a b4 00 1f b6 00	\.........S........*..$..]*.....
0980	5f b1 00 00 00 03 00 26 00 00 00 0e 00 03 00 00 00 55 00 07 00 56 00 0e 00 57 00 27 00 00 00 0c	_......&.........U...V...W.'....
09a0	00 01 00 00 00 0f 00 28 00 29 00 00 00 2a 00 00 00 0c 00 01 00 00 00 0f 00 28 00 2b 00 00 00 01	.......(.)...*...........(.+....
09c0	00 39 00 3a 00 01 00 19 00 00 00 5f 00 02 00 02 00 00 00 11 2a b4 00 1f 2b b6 00 60 2a b4 00 24	.9.:......._........*...+..`*..$
09e0	2b b6 00 61 b1 00 00 00 03 00 26 00 00 00 0e 00 03 00 00 00 5a 00 08 00 5b 00 10 00 5c 00 27 00	+..a......&.........Z...[...\.'.
0a00	00 00 16 00 02 00 00 00 11 00 28 00 29 00 00 00 00 00 11 00 49 00 62 00 01 00 2a 00 00 00 0c 00	..........(.).......I.b...*.....
0a20	01 00 00 00 11 00 28 00 2b 00 00 00 02 00 63 00 00 00 02 00 64 00 0e 00 00 00 02 00 65	......(.+.....c.....d.......e