org.sat4j.pb.constraints
Class PuebloPBMinClauseCardConstrDataStructure
java.lang.Object
org.sat4j.minisat.constraints.AbstractDataStructureFactory
org.sat4j.pb.constraints.AbstractPBDataStructureFactory
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure
- All Implemented Interfaces:
- Serializable, DataStructureFactory, PBDataStructureFactory
public class PuebloPBMinClauseCardConstrDataStructure
- extends AbstractPBClauseCardConstrDataStructure
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PuebloPBMinClauseCardConstrDataStructure
public PuebloPBMinClauseCardConstrDataStructure()
createClause
public Constr createClause(IVecInt literals)
throws ContradictionException
- Specified by:
createClause
in interface DataStructureFactory
- Overrides:
createClause
in class AbstractPBClauseCardConstrDataStructure
- Parameters:
literals
- a set of literals using Dimacs format (signed non null
integers).
- Returns:
- null if the constraint is a tautology.
- Throws:
ContradictionException
- the constraint is trivially unsatisfiable.
Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.