|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.sat4j.minisat.constraints.AbstractDataStructureFactory<ILits> org.sat4j.minisat.constraints.AbstractPBDataStructureFactory org.sat4j.minisat.constraints.AbstractPBClauseCardConstrDataStructure org.sat4j.minisat.constraints.PuebloPBMinClauseCardConstrDataStructure org.sat4j.minisat.constraints.PuebloPBMinClauseAtLeastConstrDataStructure
public class PuebloPBMinClauseAtLeastConstrDataStructure
Field Summary |
---|
Fields inherited from class org.sat4j.minisat.constraints.AbstractDataStructureFactory |
---|
learner, lits, solver |
Constructor Summary | |
---|---|
PuebloPBMinClauseAtLeastConstrDataStructure()
|
Method Summary | |
---|---|
protected PBConstr |
constructCard(IVecInt lits,
int degree)
|
protected PBConstr |
constructLearntCard(IVecInt literals,
int degree)
|
Methods inherited from class org.sat4j.minisat.constraints.PuebloPBMinClauseCardConstrDataStructure |
---|
constructClause, constructLearntClause, constructLearntPB, constructPB, constructPB |
Methods inherited from class org.sat4j.minisat.constraints.AbstractPBClauseCardConstrDataStructure |
---|
constraintFactory, constraintFactory, constraintFactory, constraintFactory |
Methods inherited from class org.sat4j.minisat.constraints.AbstractPBDataStructureFactory |
---|
createCardinalityConstraint, createClause, createLits, createPseudoBooleanConstraint, createUnregisteredClause, createUnregisteredPseudoBooleanConstraint, createUnregisteredPseudoBooleanConstraint |
Methods inherited from class org.sat4j.minisat.constraints.AbstractDataStructureFactory |
---|
conflictDetectedInWatchesFor, getVocabulary, getWatchesFor, learnConstraint, reset, setLearner, setUnitPropagationListener |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public PuebloPBMinClauseAtLeastConstrDataStructure()
Method Detail |
---|
protected PBConstr constructCard(IVecInt lits, int degree) throws ContradictionException
constructCard
in class PuebloPBMinClauseCardConstrDataStructure
ContradictionException
protected PBConstr constructLearntCard(IVecInt literals, int degree)
constructLearntCard
in class PuebloPBMinClauseCardConstrDataStructure
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |