public abstract class AbstractPBClauseCardConstrDataStructure extends AbstractPBDataStructureFactory
FOR_COMPETITION, NO_COMPETITION
learner, lits, solver
createAtLeastPBConstraint, createAtMostPBConstraint, createCardinalityConstraint, createLits, createPseudoBooleanConstraint, createUnregisteredAtLeastConstraint, createUnregisteredAtMostConstraint, createUnregisteredCardinalityConstraint, createUnregisteredPseudoBooleanConstraint, getNormalizer, setNormalizer, setNormalizer
conflictDetectedInWatchesFor, getVocabulary, getWatchesFor, learnConstraint, reset, setLearner, setUnitPropagationListener
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
conflictDetectedInWatchesFor, getVocabulary, getWatchesFor, learnConstraint, reset, setLearner, setUnitPropagationListener
public Constr createClause(IVecInt literals) throws ContradictionException
createClause
in interface DataStructureFactory
createClause
in class AbstractPBDataStructureFactory
ContradictionException
public Constr createUnregisteredClause(IVecInt literals)
createUnregisteredClause
in interface DataStructureFactory
createUnregisteredClause
in class AbstractPBDataStructureFactory
protected Constr constraintFactory(int[] literals, BigInteger[] coefs, BigInteger degree) throws ContradictionException
constraintFactory
in class AbstractPBDataStructureFactory
ContradictionException
protected Constr learntConstraintFactory(IDataStructurePB dspb)
learntConstraintFactory
in class AbstractPBDataStructureFactory
protected Constr learntAtLeastConstraintFactory(IVecInt literals, IVec<BigInteger> coefs, BigInteger degree)
learntAtLeastConstraintFactory
in class AbstractPBDataStructureFactory
protected Constr learntAtMostConstraintFactory(IVecInt literals, IVec<BigInteger> coefs, BigInteger degree)
learntAtMostConstraintFactory
in class AbstractPBDataStructureFactory
protected Constr constructCard(IVecInt theLits, int degree) throws ContradictionException
ContradictionException
protected Constr constructPB(int[] theLits, BigInteger[] coefs, BigInteger degree) throws ContradictionException
ContradictionException
protected Constr constructLearntCard(IDataStructurePB dspb)
protected Constr constructLearntCard(IVecInt literals, IVec<BigInteger> coefs, BigInteger degree)
protected Constr constructLearntPB(IDataStructurePB dspb)
protected Constr constructLearntPB(IVecInt literals, IVec<BigInteger> coefs, BigInteger degree)
public static final BigInteger sumOfCoefficients(BigInteger[] coefs)
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.