blob: a1a556382d796a080f4aee24200902bbf17ff911 (plain)

ofs	hex dump	ascii
0000	ca fe ba be 00 00 00 31 00 22 07 00 02 01 00 1e 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f	.......1."......org/sat4j/specs/
0020	49 53 6f 6c 76 65 72 53 65 72 76 69 63 65 07 00 04 01 00 10 6a 61 76 61 2f 6c 61 6e 67 2f 4f 62	ISolverService......java/lang/Ob
0040	6a 65 63 74 01 00 04 73 74 6f 70 01 00 03 28 29 56 01 00 09 62 61 63 6b 74 72 61 63 6b 01 00 05	ject...stop...()V...backtrack...
0060	28 5b 49 29 56 01 00 11 61 64 64 43 6c 61 75 73 65 4f 6e 54 68 65 46 6c 79 01 00 1d 28 5b 49 29	([I)V...addClauseOnTheFly...([I)
0080	4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 43 6f 6e 73 74 72 3b 01 00 11 61 64 64 41	Lorg/sat4j/specs/IConstr;...addA
00a0	74 4d 6f 73 74 4f 6e 54 68 65 46 6c 79 01 00 1e 28 5b 49 49 29 4c 6f 72 67 2f 73 61 74 34 6a 2f	tMostOnTheFly...([II)Lorg/sat4j/
00c0	73 70 65 63 73 2f 49 43 6f 6e 73 74 72 3b 01 00 0a 74 72 75 74 68 56 61 6c 75 65 01 00 1a 28 49	specs/IConstr;...truthValue...(I
00e0	29 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 4c 62 6f 6f 6c 3b 01 00 14 63 75 72 72 65	)Lorg/sat4j/specs/Lbool;...curre
0100	6e 74 44 65 63 69 73 69 6f 6e 4c 65 76 65 6c 01 00 03 28 29 49 01 00 17 67 65 74 4c 69 74 65 72	ntDecisionLevel...()I...getLiter
0120	61 6c 73 50 72 6f 70 61 67 61 74 65 64 41 74 01 00 05 28 49 29 5b 49 01 00 1c 73 75 67 67 65 73	alsPropagatedAt...(I)[I...sugges
0140	74 4e 65 78 74 4c 69 74 65 72 61 6c 54 6f 42 72 61 6e 63 68 4f 6e 01 00 04 28 49 29 56 01 00 15	tNextLiteralToBranchOn...(I)V...
0160	67 65 74 56 61 72 69 61 62 6c 65 48 65 75 72 69 73 74 69 63 73 01 00 04 28 29 5b 44 01 00 15 67	getVariableHeuristics...()[D...g
0180	65 74 4c 65 61 72 6e 65 64 43 6f 6e 73 74 72 61 69 6e 74 73 01 00 18 28 29 4c 6f 72 67 2f 73 61	etLearnedConstraints...()Lorg/sa
01a0	74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 3b 01 00 09 53 69 67 6e 61 74 75 72 65 01 00 34 28 29	t4j/specs/IVec;...Signature..4()
01c0	4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 3c 2b 4c 6f 72 67 2f 73 61 74 34	Lorg/sat4j/specs/IVec<+Lorg/sat4
01e0	6a 2f 73 70 65 63 73 2f 49 43 6f 6e 73 74 72 3b 3e 3b 01 00 05 6e 56 61 72 73 01 00 14 72 65 6d	j/specs/IConstr;>;...nVars...rem
0200	6f 76 65 53 75 62 73 75 6d 65 64 43 6f 6e 73 74 72 01 00 1c 28 4c 6f 72 67 2f 73 61 74 34 6a 2f	oveSubsumedConstr...(Lorg/sat4j/
0220	73 70 65 63 73 2f 49 43 6f 6e 73 74 72 3b 29 5a 01 00 0c 67 65 74 4c 6f 67 50 72 65 66 69 78 01	specs/IConstr;)Z...getLogPrefix.
0240	00 14 28 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 01 00 0a 53 6f 75 72 63 65 46	..()Ljava/lang/String;...SourceF
0260	69 6c 65 01 00 13 49 53 6f 6c 76 65 72 53 65 72 76 69 63 65 2e 6a 61 76 61 06 01 00 01 00 03 00	ile...ISolverService.java.......
0280	00 00 00 00 0d 04 01 00 05 00 06 00 00 04 01 00 07 00 08 00 00 04 01 00 09 00 0a 00 00 04 01 00	................................
02a0	0b 00 0c 00 00 04 01 00 0d 00 0e 00 00 04 01 00 0f 00 10 00 00 04 01 00 11 00 12 00 00 04 01 00	................................
02c0	13 00 14 00 00 04 01 00 15 00 16 00 00 04 01 00 17 00 18 00 01 00 19 00 00 00 02 00 1a 04 01 00	................................
02e0	1b 00 10 00 00 04 01 00 1c 00 1d 00 00 04 01 00 1e 00 1f 00 00 00 01 00 20 00 00 00 02 00 21	..............................!