org.sat4j.pb.constraints.pb

Class ConflictMapCardinality

java.lang.Object

org.sat4j.pb.constraints.pb.MapPb

org.sat4j.pb.constraints.pb.ConflictMap

org.sat4j.pb.constraints.pb.ConflictMapCardinality

All Implemented Interfaces:

IConflict, IDataStructurePB

public final class ConflictMapCardinality
extends ConflictMap

Field Summary

Fields inherited from class org.sat4j.pb.constraints.pb.ConflictMap

byLevel, coefMult, coefMultCons, currentLevel, currentSlack, hasBeenReduced, numberOfReductions

Fields inherited from class org.sat4j.pb.constraints.pb.MapPb

assertiveLiteral, degree, weightedLits

Constructor Summary

Constructors

Constructor and Description
ConflictMapCardinality(PBConstr cpb, int level)

Method Summary

Methods inherited from class org.sat4j.pb.constraints.pb.ConflictMap

createConflict, getBacktrackLevel, getNumberOfReductions, hasBeenReduced, isAssertive, oldGetBacktrackLevel, oldIsAssertive, ppcm, reduceInConstraint, reduceUntilConflict, resolve, slackConflict, slackIsCorrect, toString, updateSlack

Methods inherited from class org.sat4j.pb.constraints.pb.MapPb

buildConstraintFromConflict, buildConstraintFromMapPb, cuttingPlane, cuttingPlane, cuttingPlane, cuttingPlane, getAssertiveLiteral, getDegree, isCardinality, isLongSufficient, saturation, size

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.sat4j.pb.constraints.pb.IDataStructurePB

buildConstraintFromConflict, buildConstraintFromMapPb, cuttingPlane, cuttingPlane, cuttingPlane, cuttingPlane, getAssertiveLiteral, getDegree, isCardinality, isLongSufficient, saturation, size

Constructor Detail

ConflictMapCardinality

public ConflictMapCardinality(PBConstr cpb,
                              int level)