|
MinWatchPb(ILits,IDataStructurePB)
MinWatchPb(ILits,IDataStructurePB)
|
71
71
|
8.0
8
|
1.0
1
|
1.0
100%
|
1.0
|
|
MinWatchPb(ILits,int[],BigInteger[],BigInteger)
MinWatchPb(ILits,int[],BigInteger[],BigInteger)
|
86
86
|
8.0
8
|
1.0
1
|
1.0
100%
|
1.0
|
|
computeWatches() : void
computeWatches() : void
|
105
105
|
10.0
10
|
6.0
6
|
0.875
87,5%
|
0.875
|
|
watchMoreForLearntConstraint() : void
watchMoreForLearntConstraint() : void
|
129
129
|
19.0
19
|
9.0
9
|
0.9142857
91,4%
|
0.9142857
|
|
computePropagation(UnitPropagationListener) : void
computePropagation(UnitPropagationListener) : void
|
171
171
|
5.0
5
|
5.0
5
|
0.7777778
77,8%
|
0.7777778
|
|
minWatchPbNew(UnitPropagationListener,ILits,IVecInt,IVecInt,boolean,int) : MinWatchPb
minWatchPbNew(UnitPropagationListener,ILits,IVecInt,IVecInt,boolean,int) : MinWatchPb
|
199
199
|
1.0
1
|
1.0
1
|
1.0
100%
|
1.0
|
|
minWatchPbNew(UnitPropagationListener,ILits,IVecInt,IVec<BigInteger>,boolean,BigInteger) : MinWatchPb
minWatchPbNew(UnitPropagationListener,ILits,IVecInt,IVec<BigInteger>,boolean,BigInteger) : MinWatchPb
|
220
220
|
13.0
13
|
3.0
3
|
0.7647059
76,5%
|
0.7647059
|
|
normalizedMinWatchPbNew(UnitPropagationListener,ILits,IDataStructurePB) : MinWatchPb
normalizedMinWatchPbNew(UnitPropagationListener,ILits,IDataStructurePB) : MinWatchPb
|
260
260
|
6.0
6
|
2.0
2
|
0.0
0%
|
0.0
|
|
normalizedMinWatchPbNew(UnitPropagationListener,ILits,int[],BigInteger[],BigInteger) : MinWatchPb
normalizedMinWatchPbNew(UnitPropagationListener,ILits,int[],BigInteger[],BigInteger) : MinWatchPb
|
287
287
|
6.0
6
|
2.0
2
|
0.75
75%
|
0.75
|
|
nbOfWatched() : int
nbOfWatched() : int
|
309
309
|
6.0
6
|
4.0
4
|
0.4375
43,8%
|
0.4375
|
|
propagate(UnitPropagationListener,int) : boolean
propagate(UnitPropagationListener,int) : boolean
|
329
329
|
21.0
21
|
10.0
10
|
0.6981132
69,8%
|
0.6981132
|
|
remove() : void
remove() : void
|
392
392
|
4.0
4
|
2.0
2
|
0.0
0%
|
0.0
|
|
undo(int) : void
undo(int) : void
|
407
407
|
7.0
7
|
2.0
2
|
0.8
80%
|
0.8
|
|
watchPbNew(ILits,IVecInt,IVecInt,boolean,int) : WatchPb
watchPbNew(ILits,IVecInt,IVecInt,boolean,int) : WatchPb
|
428
428
|
1.0
1
|
1.0
1
|
0.0
0%
|
0.0
|
|
watchPbNew(ILits,IVecInt,IVec<BigInteger>,boolean,BigInteger) : WatchPb
watchPbNew(ILits,IVecInt,IVec<BigInteger>,boolean,BigInteger) : WatchPb
|
437
437
|
3.0
3
|
1.0
1
|
1.0
100%
|
1.0
|
|
normalizedWatchPbNew(ILits,IDataStructurePB) : WatchPb
normalizedWatchPbNew(ILits,IDataStructurePB) : WatchPb
|
447
447
|
1.0
1
|
1.0
1
|
0.0
0%
|
0.0
|
|
maximalCoefficient(int) : BigInteger
maximalCoefficient(int) : BigInteger
|
459
459
|
5.0
5
|
5.0
5
|
0.90909094
90,9%
|
0.90909094
|
|
updateWatched(BigInteger,int) : BigInteger
updateWatched(BigInteger,int) : BigInteger
|
472
472
|
17.0
17
|
7.0
7
|
0.9655172
96,6%
|
0.9655172
|