Uses of Interface
org.sat4j.pb.constraints.pb.IConflict

Packages that use IConflict

org.sat4j.pb.constraints.pb

Implementations of pseudo boolean contraints.

Uses of IConflict in org.sat4j.pb.constraints.pb

Classes in org.sat4j.pb.constraints.pb that implement IConflict

class	ConflictMap
class	ConflictMapCardinality
class	ConflictMapClause
class	ConflictMapMerging

Methods in org.sat4j.pb.constraints.pb that return IConflict

static IConflict	ConflictMap.createConflict(PBConstr cpb, int level) constructs the data structure needed to perform cutting planes
static IConflict	ConflictMapMerging.createConflict(PBConstr cpb, int level)
static IConflict	ConflictMapClause.createConflict(PBConstr cpb, int level)