A B C D E G H I L M N O P R S T U V W

C

calcReason(int, IVecInt) - Method in class org.sat4j.pb.constraints.pb.WatchPb

compute the reason for the assignment of a literal

calculateDegree(int[]) - Method in class org.sat4j.pb.ObjectiveFunction

calculateObjective() - Method in class org.sat4j.pb.PseudoOptDecorator

coefficientsEqualToOne() - Method in class org.sat4j.pb.constraints.pb.WatchPb

CompetPBMaxClauseCardConstrDataStructure - Class in org.sat4j.pb.constraints

CompetPBMaxClauseCardConstrDataStructure() - Constructor for class org.sat4j.pb.constraints.CompetPBMaxClauseCardConstrDataStructure

computeAnImpliedClause() - Method in class org.sat4j.pb.constraints.pb.AtLeastPB

computeAnImpliedClause() - Method in class org.sat4j.pb.constraints.pb.MinWatchCardPB

computeAnImpliedClause() - Method in class org.sat4j.pb.constraints.pb.MixableCBClausePB

computeAnImpliedClause() - Method in interface org.sat4j.pb.constraints.pb.PBConstr

computeAnImpliedClause() - Method in class org.sat4j.pb.constraints.pb.WatchPb

compute an implied clause on the literals with the greater coefficients

computeAnImpliedClause() - Method in class org.sat4j.pb.constraints.pb.WLClausePB

ConflictMap - Class in org.sat4j.pb.constraints.pb

ConflictMapCardinality - Class in org.sat4j.pb.constraints.pb

ConflictMapCardinality(PBConstr, int) - Constructor for class org.sat4j.pb.constraints.pb.ConflictMapCardinality

ConflictMapClause - Class in org.sat4j.pb.constraints.pb

ConflictMapClause(PBConstr, int) - Constructor for class org.sat4j.pb.constraints.pb.ConflictMapClause

ConflictMapMerging - Class in org.sat4j.pb.constraints.pb

ConflictMapMerging(PBConstr, int) - Constructor for class org.sat4j.pb.constraints.pb.ConflictMapMerging

createCardinalityConstraint(IVecInt, int) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory

createClause(IVecInt) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory

createClause(IVecInt) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactoryPB

createConflict(PBConstr, int) - Static method in class org.sat4j.pb.constraints.pb.ConflictMap

constructs the data structure needed to perform cutting planes

createConflict(PBConstr, int) - Static method in class org.sat4j.pb.constraints.pb.ConflictMapClause

createConflict(PBConstr, int) - Static method in class org.sat4j.pb.constraints.pb.ConflictMapMerging

createPseudoBooleanConstraint(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory

createPseudoBooleanConstraint(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in interface org.sat4j.pb.core.PBDataStructureFactory

createUnregisteredClause(IVecInt) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory

createUnregisteredClause(IVecInt) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactoryPB

createUnregisteredPseudoBooleanConstraint(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory

createUnregisteredPseudoBooleanConstraint(IDataStructurePB) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory

createUnregisteredPseudoBooleanConstraint(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory

createUnregisteredPseudoBooleanConstraint(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactoryPB

createUnregisteredPseudoBooleanConstraint(IVecInt, IVec<BigInteger>, BigInteger) - Method in interface org.sat4j.pb.constraints.pb.IInternalPBConstraintCreator

createUnregisteredPseudoBooleanConstraint(IVecInt, IVec<BigInteger>, BigInteger) - Method in interface org.sat4j.pb.core.PBDataStructureFactory

createUnregisteredPseudoBooleanConstraint(IDataStructurePB) - Method in interface org.sat4j.pb.core.PBDataStructureFactory

cuttingPlane(PBConstr, BigInteger, BigInteger[], VarActivityListener) - Method in interface org.sat4j.pb.constraints.pb.IDataStructurePB

cuttingPlane(PBConstr, BigInteger, BigInteger[], BigInteger, VarActivityListener) - Method in interface org.sat4j.pb.constraints.pb.IDataStructurePB

cuttingPlane(int[], BigInteger[], BigInteger) - Method in interface org.sat4j.pb.constraints.pb.IDataStructurePB

cuttingPlane(int[], BigInteger[], BigInteger, BigInteger) - Method in interface org.sat4j.pb.constraints.pb.IDataStructurePB

cuttingPlane(PBConstr, BigInteger, BigInteger[], VarActivityListener) - Method in class org.sat4j.pb.constraints.pb.MapPb

cuttingPlane(PBConstr, BigInteger, BigInteger[], BigInteger, VarActivityListener) - Method in class org.sat4j.pb.constraints.pb.MapPb

cuttingPlane(int[], BigInteger[], BigInteger) - Method in class org.sat4j.pb.constraints.pb.MapPb

cuttingPlane(int[], BigInteger[], BigInteger, BigInteger) - Method in class org.sat4j.pb.constraints.pb.MapPb