|
WatchPb()
WatchPb()
|
103
103
|
0.0
0
|
1.0
1
|
-1.0
-
|
-1.0
|
|
WatchPb(IDataStructurePB)
WatchPb(IDataStructurePB)
|
106
106
|
6.0
6
|
1.0
1
|
1.0
100%
|
1.0
|
|
WatchPb(int[],BigInteger[],BigInteger)
WatchPb(int[],BigInteger[],BigInteger)
|
118
118
|
4.0
4
|
1.0
1
|
1.0
100%
|
1.0
|
|
isAssertive(int) : boolean
isAssertive(int) : boolean
|
132
132
|
11.0
11
|
11.0
11
|
0.0
0%
|
0.0
|
|
calcReason(int,IVecInt) : void
calcReason(int,IVecInt) : void
|
161
161
|
3.0
3
|
3.0
3
|
0.6
60%
|
0.6
|
|
get(int) : int
get(int) : int
|
181
181
|
1.0
1
|
1.0
1
|
1.0
100%
|
1.0
|
|
getCoef(int) : BigInteger
getCoef(int) : BigInteger
|
192
192
|
1.0
1
|
1.0
1
|
1.0
100%
|
1.0
|
|
getActivity() : double
getActivity() : double
|
202
202
|
1.0
1
|
1.0
1
|
0.0
0%
|
0.0
|
|
niceParameters(IVecInt,IVec<BigInteger>,boolean,BigInteger,ILits) : IDataStructurePB
niceParameters(IVecInt,IVec<BigInteger>,boolean,BigInteger,ILits) : IDataStructurePB
|
206
206
|
5.0
5
|
3.0
3
|
0.5555556
55,6%
|
0.5555556
|
|
niceCheckedParameters(IVecInt,IVec<BigInteger>,boolean,BigInteger,ILits) : IDataStructurePB
niceCheckedParameters(IVecInt,IVec<BigInteger>,boolean,BigInteger,ILits) : IDataStructurePB
|
220
220
|
22.0
22
|
9.0
9
|
0.8684211
86,8%
|
0.8684211
|
|
incActivity(double) : void
incActivity(double) : void
|
258
258
|
1.0
1
|
1.0
1
|
0.0
0%
|
0.0
|
|
slackConstraint() : BigInteger
slackConstraint() : BigInteger
|
268
268
|
1.0
1
|
1.0
1
|
1.0
100%
|
1.0
|
|
slackConstraint(BigInteger[],BigInteger) : BigInteger
slackConstraint(BigInteger[],BigInteger) : BigInteger
|
282
282
|
1.0
1
|
1.0
1
|
1.0
100%
|
1.0
|
|
recalcLeftSide(BigInteger[]) : BigInteger
recalcLeftSide(BigInteger[]) : BigInteger
|
294
294
|
5.0
5
|
3.0
3
|
0.36363637
36,4%
|
0.36363637
|
|
recalcLeftSide() : BigInteger
recalcLeftSide() : BigInteger
|
311
311
|
1.0
1
|
1.0
1
|
1.0
100%
|
1.0
|
|
isSatisfiable() : boolean
isSatisfiable() : boolean
|
320
320
|
1.0
1
|
1.0
1
|
1.0
100%
|
1.0
|
|
learnt() : boolean
learnt() : boolean
|
330
330
|
1.0
1
|
1.0
1
|
1.0
100%
|
1.0
|
|
locked() : boolean
locked() : boolean
|
340
340
|
1.0
1
|
1.0
1
|
0.0
0%
|
0.0
|
|
ppcm(BigInteger,BigInteger) : BigInteger
ppcm(BigInteger,BigInteger) : BigInteger
|
353
353
|
1.0
1
|
1.0
1
|
0.0
0%
|
0.0
|
|
rescaleBy(double) : void
rescaleBy(double) : void
|
363
363
|
1.0
1
|
1.0
1
|
0.0
0%
|
0.0
|
|
selectionSort(int,int) : void
selectionSort(int,int) : void
|
367
367
|
14.0
14
|
4.0
4
|
1.0
100%
|
1.0
|
|
setLearnt() : void
setLearnt() : void
|
390
390
|
1.0
1
|
1.0
1
|
1.0
100%
|
1.0
|
|
simplify() : boolean
simplify() : boolean
|
399
399
|
7.0
7
|
4.0
4
|
0.0
0%
|
0.0
|
|
size() : int
size() : int
|
414
414
|
1.0
1
|
1.0
1
|
1.0
100%
|
1.0
|
|
sort() : void
sort() : void
|
421
421
|
5.0
5
|
3.0
3
|
0.7692308
76,9%
|
0.7692308
|
|
sort(int,int) : void
sort(int,int) : void
|
442
442
|
23.0
23
|
6.0
6
|
1.0
100%
|
1.0
|
|
toString() : String
toString() : String
|
479
479
|
16.0
16
|
3.0
3
|
0.0
0%
|
0.0
|
|
assertConstraint(UnitPropagationListener) : void
assertConstraint(UnitPropagationListener) : void
|
504
504
|
4.0
4
|
4.0
4
|
0.9
90%
|
0.9
|
|
getDegree() : BigInteger
getDegree() : BigInteger
|
519
519
|
1.0
1
|
1.0
1
|
1.0
100%
|
1.0
|
|
register() : void
register() : void
|
523
523
|
3.0
3
|
2.0
2
|
0.6
60%
|
0.6
|
|
toVecBigInt(IVecInt) : IVec<BigInteger>
toVecBigInt(IVecInt) : IVec<BigInteger>
|
533
533
|
4.0
4
|
2.0
2
|
1.0
100%
|
1.0
|
|
toBigInt(int) : BigInteger
toBigInt(int) : BigInteger
|
540
540
|
1.0
1
|
1.0
1
|
1.0
100%
|
1.0
|
|
getCoefs() : BigInteger[]
getCoefs() : BigInteger[]
|
544
544
|
3.0
3
|
1.0
1
|
1.0
100%
|
1.0
|
|
getLits() : int[]
getLits() : int[]
|
550
550
|
3.0
3
|
1.0
1
|
0.0
0%
|
0.0
|
|
getVocabulary() : ILits
getVocabulary() : ILits
|
556
556
|
1.0
1
|
1.0
1
|
1.0
100%
|
1.0
|
|
computeAnImpliedClause() : IVecInt
computeAnImpliedClause() : IVecInt
|
563
563
|
10.0
10
|
6.0
6
|
0.0
0%
|
0.0
|
|
coefficientsEqualToOne() : boolean
coefficientsEqualToOne() : boolean
|
580
580
|
1.0
1
|
1.0
1
|
0.0
0%
|
0.0
|