EMMA Coverage Report (generated Wed May 26 19:42:49 CEST 2010)
[all classes]

COVERAGE SUMMARY FOR PACKAGE [org.opt4j.sat]

nameclass, %method, %block, %
org.opt4j.sat0%   (0/22)0%   (0/113)0%   (0/1631)

COVERAGE BREAKDOWN BY CLASS

nameclass, %method, %block, %
AbstractSATDecoder0%   (0/1)0%   (0/12)0%   (0/265)
Constraint0%   (0/1)0%   (0/18)0%   (0/300)
Constraint$10%   (0/1)0%   (0/3)0%   (0/14)
Constraint$1$10%   (0/1)0%   (0/4)0%   (0/40)
Constraint$20%   (0/1)0%   (0/3)0%   (0/14)
Constraint$2$10%   (0/1)0%   (0/4)0%   (0/39)
Constraint$Operator0%   (0/1)0%   (0/8)0%   (0/162)
ContradictionException0%   (0/1)0%   (0/2)0%   (0/7)
DefaultSATManager0%   (0/1)0%   (0/1)0%   (0/5)
DefaultSolver0%   (0/1)0%   (0/1)0%   (0/7)
Literal0%   (0/1)0%   (0/7)0%   (0/114)
MixedSATManager0%   (0/1)0%   (0/4)0%   (0/217)
Model0%   (0/1)0%   (0/5)0%   (0/30)
Order0%   (0/1)0%   (0/5)0%   (0/23)
PooledSolver0%   (0/1)0%   (0/7)0%   (0/175)
PooledSolver$Pool0%   (0/1)0%   (0/4)0%   (0/37)
SATDecoderModule0%   (0/1)0%   (0/4)0%   (0/35)
SATGenotype0%   (0/1)0%   (0/6)0%   (0/46)
SATModule0%   (0/1)0%   (0/2)0%   (0/11)
Term0%   (0/1)0%   (0/5)0%   (0/36)
TimeoutException0%   (0/1)0%   (0/1)0%   (0/3)
VarOrder0%   (0/1)0%   (0/7)0%   (0/51)

[all classes]
EMMA 2.0.9414 (unsupported private build) (C) Vladimir Roubtsov