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

A

AbstractPBClauseCardConstrDataStructure - Class in org.sat4j.pb.constraints

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

AbstractPBClauseCardConstrDataStructurePB - Class in org.sat4j.pb.constraints

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

AbstractPBDataStructureFactory - Class in org.sat4j.pb.constraints

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

AbstractPBDataStructureFactoryPB - Class in org.sat4j.pb.constraints

The root of the data structures that manage all the constraints as PBConstr (that way, cutting planes can be applied).

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

addPseudoBoolean(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.pb.core.PBSolver

addPseudoBoolean(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.pb.core.PBSolverWithImpliedClause

addPseudoBoolean(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in interface org.sat4j.pb.IPBSolver

Create a Pseudo-Boolean constraint of the type "at least n of those literals must be satisfied"

addPseudoBoolean(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.pb.PBSolverDecorator

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

analyze(Constr, Pair) - Method in class org.sat4j.pb.core.PBSolverCP

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

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

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

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

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

ATLEAST - Static variable in class org.sat4j.pb.constraints.pb.WatchPb

constant for the initial type of inequality more than or equal

atLeastNew(UnitPropagationListener, ILits, IVecInt, int) - Static method in class org.sat4j.pb.constraints.pb.AtLeastPB

atLeastNew(ILits, IVecInt, int) - Static method in class org.sat4j.pb.constraints.pb.AtLeastPB

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

ATMOST - Static variable in class org.sat4j.pb.constraints.pb.WatchPb

constant for the initial type of inequality less than or equal