name | method, % | block, % |
---|
createCardinalityConstraint (IVecInt, int): Constr | 0% (0/1) | 0% (0/4) |
createPseudoBooleanConstraint (IVecInt, IVec, boolean, BigInteger): Constr | 0% (0/1) | 0% (0/4) |
createUnregisteredPseudoBooleanConstraint (IVecInt, IVec, BigInteger): Constr | 0% (0/1) | 0% (0/4) |
AbstractDataStructureFactory (): void | 100% (1/1) | 100% (13/13) |
conflictDetectedInWatchesFor (int, int): void | 100% (1/1) | 100% (21/21) |
getVocabulary (): ILits | 100% (1/1) | 100% (3/3) |
getWatchesFor (int): IVec | 100% (1/1) | 100% (13/13) |
learnConstraint (Constr): void | 100% (1/1) | 100% (5/5) |
reset (): void | 100% (1/1) | 100% (1/1) |
setLearner (Learner): void | 100% (1/1) | 100% (4/4) |
setUnitPropagationListener (UnitPropagationListener): void | 100% (1/1) | 100% (4/4) |