Index (SAT4J pseudo 2.3.6 API)

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

A

AbstractLBDComputerStrategy - Class in org.sat4j.pb.lcds
AbstractLBDComputerStrategy() - Constructor for class org.sat4j.pb.lcds.AbstractLBDComputerStrategy
AbstractLexicoHelper<T,C> - Class in org.sat4j.pb.tools
AbstractLexicoHelper(LexicoDecoratorPB) - Constructor for class org.sat4j.pb.tools.AbstractLexicoHelper
AbstractLexicoHelper(LexicoDecoratorPB, boolean) - Constructor for class org.sat4j.pb.tools.AbstractLexicoHelper
AbstractLexicoHelper(LexicoDecoratorPB, boolean, boolean) - Constructor for class org.sat4j.pb.tools.AbstractLexicoHelper
AbstractLinMultiObjOptimizer - Class in org.sat4j.pb.multiobjective: A partial implementation of the IMUltiObjectivePBSolver interface designed to handle optimization functions which are a linear aggregation of other objective functions.
AbstractLinMultiObjOptimizer(IIntegerPBSolver) - Constructor for class org.sat4j.pb.multiobjective.AbstractLinMultiObjOptimizer
AbstractPBClauseCardConstrDataStructure - Class in org.sat4j.pb.constraints
AbstractPBDataStructureFactory - Class in org.sat4j.pb.constraints
AbstractPBDataStructureFactory() - Constructor for class org.sat4j.pb.constraints.AbstractPBDataStructureFactory
activity - Variable in class org.sat4j.pb.constraints.pb.WatchPb: constraint activity
activity - Variable in class org.sat4j.pb.constraints.pb.WatchPbLong: constraint activity
activity - Variable in class org.sat4j.pb.constraints.pb.WatchPbLongCP: constraint activity
add(ObjectiveFunction) - Method in class org.sat4j.pb.ObjectiveFunction
add(IVecInt, IVec<BigInteger>) - Method in class org.sat4j.pb.ObjectiveFunction
addAllClauses(IVec<IVecInt>) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
addAllClauses(IVec<IVecInt>) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addAllClauses(IVec<IVecInt>) - Method in class org.sat4j.pb.tools.InprocCardConstrLearningSolver
addAtLeast(IVecInt, IVec<BigInteger>, IVec<IntegerVariable>, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.core.IntegerPBSolverDecorator
addAtLeast(IVecInt, IVecInt, IVec<IntegerVariable>, IVec<BigInteger>, int) - Method in class org.sat4j.pb.core.IntegerPBSolverDecorator
addAtLeast(IntegerVariable, int) - Method in class org.sat4j.pb.core.IntegerPBSolverDecorator
addAtLeast(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
addAtLeast(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
addAtLeast(IVecInt, int) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
addAtLeast(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.core.PBSolver
addAtLeast(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.core.PBSolver
addAtLeast(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.GroupPBSelectorSolver
addAtLeast(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.GroupPBSelectorSolver
addAtLeast(IVecInt, int, int) - Method in class org.sat4j.pb.GroupPBSelectorSolver
addAtLeast(IVecInt, IVecInt, int, int) - Method in class org.sat4j.pb.GroupPBSelectorSolver
addAtLeast(IVecInt, IVec<BigInteger>, BigInteger, int) - Method in class org.sat4j.pb.GroupPBSelectorSolver
addAtLeast(IVecInt, int, int) - Method in interface org.sat4j.pb.IGroupPBSolver
addAtLeast(IVecInt, IVecInt, int, int) - Method in interface org.sat4j.pb.IGroupPBSolver
addAtLeast(IVecInt, IVec<BigInteger>, BigInteger, int) - Method in interface org.sat4j.pb.IGroupPBSolver
addAtLeast(IntegerVariable, int) - Method in interface org.sat4j.pb.IIntegerPBSolver
addAtLeast(IVecInt, IVec<BigInteger>, IVec<IntegerVariable>, IVec<BigInteger>, BigInteger) - Method in interface org.sat4j.pb.IIntegerPBSolver
addAtLeast(IVecInt, IVecInt, IVec<IntegerVariable>, IVec<BigInteger>, int) - Method in interface org.sat4j.pb.IIntegerPBSolver
addAtLeast(IVecInt, IVecInt, int) - Method in interface org.sat4j.pb.IPBSolver: Create a pseudo-boolean constraint of the type "at least".
addAtLeast(IVecInt, IVec<BigInteger>, BigInteger) - Method in interface org.sat4j.pb.IPBSolver: Create a pseudo-boolean constraint of the type "at least".
addAtLeast(IVecInt, int) - Method in class org.sat4j.pb.LPStringSolver
addAtLeast(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.LPStringSolver
addAtLeast(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.LPStringSolver
addAtLeast(IntegerVariable, int) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addAtLeast(IVecInt, IVec<BigInteger>, IVec<IntegerVariable>, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addAtLeast(IVecInt, IVecInt, IVec<IntegerVariable>, IVec<BigInteger>, int) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addAtLeast(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addAtLeast(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addAtLeast(IVecInt, int) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addAtLeast(IVecInt, int) - Method in class org.sat4j.pb.OPBStringSolver
addAtLeast(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.OPBStringSolver
addAtLeast(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.OPBStringSolver
addAtLeast(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.PBSolverDecorator
addAtLeast(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.PBSolverDecorator
addAtLeast(IVecInt, int) - Method in class org.sat4j.pb.tools.CardConstrFinder
addAtLeast(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.tools.ClausalConstraintsDecorator
addAtLeast(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.tools.ClausalConstraintsDecorator
addAtLeast(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.tools.InprocCardConstrLearningSolver
addAtLeast(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.tools.InprocCardConstrLearningSolver
addAtLeast(IVecInt, int) - Method in class org.sat4j.pb.tools.InprocCardConstrLearningSolver
addAtLeast(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.tools.LexicoDecoratorPB
addAtLeast(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.tools.LexicoDecoratorPB
addAtLeast(IntegerVariable, int) - Method in class org.sat4j.pb.tools.ManyCoreIntegerPB
addAtLeast(IVecInt, IVec<BigInteger>, IVec<IntegerVariable>, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.tools.ManyCoreIntegerPB
addAtLeast(IVecInt, IVecInt, IVec<IntegerVariable>, IVec<BigInteger>, int) - Method in class org.sat4j.pb.tools.ManyCoreIntegerPB
addAtLeast(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.tools.ManyCorePB
addAtLeast(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.tools.ManyCorePB
addAtLeast(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.tools.PBAdapter
addAtLeast(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.tools.PBAdapter
addAtLeast(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
addAtLeast(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
addAtLeast(IVecInt, int) - Method in class org.sat4j.pb.tools.XplainPB
addAtLeast(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.tools.XplainPB
addAtLeast(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.tools.XplainPB
addAtLeast(IVecInt, int) - Method in class org.sat4j.pb.UserFriendlyPBStringSolver
addAtLeast(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.UserFriendlyPBStringSolver
addAtLeast(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.UserFriendlyPBStringSolver
addAtMost(IVecInt, IVec<BigInteger>, IVec<IntegerVariable>, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.core.IntegerPBSolverDecorator
addAtMost(IVecInt, IVecInt, IVec<IntegerVariable>, IVec<BigInteger>, int) - Method in class org.sat4j.pb.core.IntegerPBSolverDecorator
addAtMost(IntegerVariable, int) - Method in class org.sat4j.pb.core.IntegerPBSolverDecorator
addAtMost(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
addAtMost(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
addAtMost(IVecInt, int) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
addAtMost(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.core.PBSolver
addAtMost(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.core.PBSolver
addAtMost(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.GroupPBSelectorSolver
addAtMost(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.GroupPBSelectorSolver
addAtMost(IVecInt, int, int) - Method in class org.sat4j.pb.GroupPBSelectorSolver
addAtMost(IVecInt, IVec<BigInteger>, BigInteger, int) - Method in class org.sat4j.pb.GroupPBSelectorSolver
addAtMost(IVecInt, IVecInt, int, int) - Method in class org.sat4j.pb.GroupPBSelectorSolver
addAtMost(IVecInt, int, int) - Method in interface org.sat4j.pb.IGroupPBSolver
addAtMost(IVecInt, IVecInt, int) - Method in interface org.sat4j.pb.IGroupPBSolver
addAtMost(IVecInt, IVec<BigInteger>, BigInteger, int) - Method in interface org.sat4j.pb.IGroupPBSolver
addAtMost(IVecInt, IVecInt, int, int) - Method in interface org.sat4j.pb.IGroupPBSolver
addAtMost(IntegerVariable, int) - Method in interface org.sat4j.pb.IIntegerPBSolver
addAtMost(IVecInt, IVec<BigInteger>, IVec<IntegerVariable>, IVec<BigInteger>, BigInteger) - Method in interface org.sat4j.pb.IIntegerPBSolver
addAtMost(IVecInt, IVecInt, IVec<IntegerVariable>, IVec<BigInteger>, int) - Method in interface org.sat4j.pb.IIntegerPBSolver
addAtMost(IVecInt, IVecInt, int) - Method in interface org.sat4j.pb.IPBSolver: Create a pseudo boolean constraint of the type "at most".
addAtMost(IVecInt, IVec<BigInteger>, BigInteger) - Method in interface org.sat4j.pb.IPBSolver: Create a pseudo boolean constraint of the type "at most".
addAtMost(IVecInt, int) - Method in class org.sat4j.pb.LPStringSolver
addAtMost(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.LPStringSolver
addAtMost(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.LPStringSolver
addAtMost(IntegerVariable, int) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addAtMost(IVecInt, IVec<BigInteger>, IVec<IntegerVariable>, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addAtMost(IVecInt, IVecInt, IVec<IntegerVariable>, IVec<BigInteger>, int) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addAtMost(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addAtMost(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addAtMost(IVecInt, int) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addAtMost(IVecInt, int) - Method in class org.sat4j.pb.OPBStringSolver
addAtMost(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.OPBStringSolver
addAtMost(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.OPBStringSolver
addAtMost(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.PBSolverDecorator
addAtMost(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.PBSolverDecorator
addAtMost(IVecInt, int) - Method in class org.sat4j.pb.tools.CardConstrFinder
addAtMost(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.tools.ClausalConstraintsDecorator
addAtMost(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.tools.ClausalConstraintsDecorator
addAtMost(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.tools.InprocCardConstrLearningSolver
addAtMost(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.tools.InprocCardConstrLearningSolver
addAtMost(IVecInt, int) - Method in class org.sat4j.pb.tools.InprocCardConstrLearningSolver
addAtMost(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.tools.LexicoDecoratorPB
addAtMost(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.tools.LexicoDecoratorPB
addAtMost(IntegerVariable, int) - Method in class org.sat4j.pb.tools.ManyCoreIntegerPB
addAtMost(IVecInt, IVec<BigInteger>, IVec<IntegerVariable>, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.tools.ManyCoreIntegerPB
addAtMost(IVecInt, IVecInt, IVec<IntegerVariable>, IVec<BigInteger>, int) - Method in class org.sat4j.pb.tools.ManyCoreIntegerPB
addAtMost(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.tools.ManyCorePB
addAtMost(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.tools.ManyCorePB
addAtMost(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.tools.PBAdapter
addAtMost(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.tools.PBAdapter
addAtMost(IVecInt, int) - Method in class org.sat4j.pb.tools.XplainPB
addAtMost(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.tools.XplainPB
addAtMost(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.tools.XplainPB
addAtMost(IVecInt, int) - Method in class org.sat4j.pb.UserFriendlyPBStringSolver
addAtMost(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.UserFriendlyPBStringSolver
addAtMost(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.UserFriendlyPBStringSolver
addAtMostOnTheFly(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.core.PBSolver
addAtMostOnTheFly(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.core.PBSolver
addAtMostOnTheFly(IVecInt, IVec<BigInteger>, BigInteger) - Method in interface org.sat4j.pb.IPBSolverService
addAtMostOnTheFly(IVecInt, IVecInt, int) - Method in interface org.sat4j.pb.IPBSolverService
addBlockingClause(IVecInt) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
addBlockingClause(IVecInt) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addClause(IVecInt) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
addClause(IVecInt) - Method in class org.sat4j.pb.LPStringSolver
addClause(IVecInt) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addClause(IVecInt) - Method in class org.sat4j.pb.OPBStringSolver
addClause(IVecInt) - Method in class org.sat4j.pb.tools.CardConstrFinder
addClause(IVecInt) - Method in class org.sat4j.pb.tools.InprocCardConstrLearningSolver
addClause(IVecInt) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
addClause(IVecInt) - Method in class org.sat4j.pb.UserFriendlyPBStringSolver
addConstr(Constr) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
addConstr(Constr) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addConstr(Constr) - Method in class org.sat4j.pb.tools.InprocCardConstrLearningSolver
addCriterion(IVecInt) - Method in class org.sat4j.pb.multiobjective.LeximinDecorator
addCriterion(IVecInt, IVec<BigInteger>) - Method in class org.sat4j.pb.multiobjective.LeximinDecorator
addCriterion(Collection<T>) - Method in class org.sat4j.pb.tools.AbstractLexicoHelper
addCriterion(IVecInt) - Method in class org.sat4j.pb.tools.LexicoDecoratorPB
addCriterion(IVecInt, IVec<BigInteger>) - Method in class org.sat4j.pb.tools.LexicoDecoratorPB
addCriterion(ObjectiveFunction) - Method in class org.sat4j.pb.tools.LexicoDecoratorPB
addCriterion(Collection<T>) - Method in class org.sat4j.pb.tools.LinMultiObjHelper
addExactly(IVecInt, IVec<BigInteger>, IVec<IntegerVariable>, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.core.IntegerPBSolverDecorator
addExactly(IVecInt, IVecInt, IVec<IntegerVariable>, IVec<BigInteger>, int) - Method in class org.sat4j.pb.core.IntegerPBSolverDecorator
addExactly(IntegerVariable, int) - Method in class org.sat4j.pb.core.IntegerPBSolverDecorator
addExactly(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
addExactly(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
addExactly(IVecInt, int) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
addExactly(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.core.PBSolver
addExactly(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.core.PBSolver
addExactly(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.GroupPBSelectorSolver
addExactly(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.GroupPBSelectorSolver
addExactly(IVecInt, int, int) - Method in class org.sat4j.pb.GroupPBSelectorSolver
addExactly(IVecInt, IVecInt, int, int) - Method in class org.sat4j.pb.GroupPBSelectorSolver
addExactly(IVecInt, IVec<BigInteger>, BigInteger, int) - Method in class org.sat4j.pb.GroupPBSelectorSolver
addExactly(IVecInt, int, int) - Method in interface org.sat4j.pb.IGroupPBSolver
addExactly(IVecInt, IVecInt, int, int) - Method in interface org.sat4j.pb.IGroupPBSolver
addExactly(IVecInt, IVec<BigInteger>, BigInteger, int) - Method in interface org.sat4j.pb.IGroupPBSolver
addExactly(IntegerVariable, int) - Method in interface org.sat4j.pb.IIntegerPBSolver
addExactly(IVecInt, IVec<BigInteger>, IVec<IntegerVariable>, IVec<BigInteger>, BigInteger) - Method in interface org.sat4j.pb.IIntegerPBSolver
addExactly(IVecInt, IVecInt, IVec<IntegerVariable>, IVec<BigInteger>, int) - Method in interface org.sat4j.pb.IIntegerPBSolver
addExactly(IVecInt, IVecInt, int) - Method in interface org.sat4j.pb.IPBSolver: Create a pseudo-boolean constraint of the type "subset sum".
addExactly(IVecInt, IVec<BigInteger>, BigInteger) - Method in interface org.sat4j.pb.IPBSolver: Create a pseudo-boolean constraint of the type "subset sum".
addExactly(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.LPStringSolver
addExactly(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.LPStringSolver
addExactly(IntegerVariable, int) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addExactly(IVecInt, IVec<BigInteger>, IVec<IntegerVariable>, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addExactly(IVecInt, IVecInt, IVec<IntegerVariable>, IVec<BigInteger>, int) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addExactly(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addExactly(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addExactly(IVecInt, int) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addExactly(IVecInt, int) - Method in class org.sat4j.pb.OPBStringSolver
addExactly(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.OPBStringSolver
addExactly(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.OPBStringSolver
addExactly(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.PBSolverDecorator
addExactly(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.PBSolverDecorator
addExactly(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.tools.ClausalConstraintsDecorator
addExactly(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.tools.ClausalConstraintsDecorator
addExactly(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.tools.InprocCardConstrLearningSolver
addExactly(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.tools.InprocCardConstrLearningSolver
addExactly(IVecInt, int) - Method in class org.sat4j.pb.tools.InprocCardConstrLearningSolver
addExactly(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.tools.LexicoDecoratorPB
addExactly(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.tools.LexicoDecoratorPB
addExactly(IntegerVariable, int) - Method in class org.sat4j.pb.tools.ManyCoreIntegerPB
addExactly(IVecInt, IVec<BigInteger>, IVec<IntegerVariable>, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.tools.ManyCoreIntegerPB
addExactly(IVecInt, IVecInt, IVec<IntegerVariable>, IVec<BigInteger>, int) - Method in class org.sat4j.pb.tools.ManyCoreIntegerPB
addExactly(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.tools.ManyCorePB
addExactly(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.tools.ManyCorePB
addExactly(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.tools.PBAdapter
addExactly(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.tools.PBAdapter
addExactly(IVecInt, int) - Method in class org.sat4j.pb.tools.XplainPB
addExactly(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.tools.XplainPB
addExactly(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.tools.XplainPB
addExactly(IVecInt, IVecInt, int) - Method in class org.sat4j.pb.UserFriendlyPBStringSolver
addExactly(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.UserFriendlyPBStringSolver
addIntegerVariableToObjectiveFunction(IntegerVariable, BigInteger) - Method in class org.sat4j.pb.core.IntegerPBSolverDecorator
addIntegerVariableToObjectiveFunction(IntegerVariable, BigInteger) - Method in interface org.sat4j.pb.IIntegerPBSolver
addIntegerVariableToObjectiveFunction(IntegerVariable, BigInteger) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addIntegerVariableToObjectiveFunction(IntegerVariable, BigInteger) - Method in class org.sat4j.pb.tools.ManyCoreIntegerPB
addObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.multiobjective.AbstractLinMultiObjOptimizer
addObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.multiobjective.CriterionOptimumComputer
addObjectiveFunction(ObjectiveFunction) - Method in interface org.sat4j.pb.multiobjective.IMultiObjOptimizationProblem
addObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.multiobjective.LeximinDecorator
addObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addObjectiveFunctions(Collection<ObjectiveFunction>) - Method in class org.sat4j.pb.multiobjective.CriterionOptimumComputer
addParity(IVecInt, boolean) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
addParity(IVecInt, boolean) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addPseudoBoolean(IVecInt, IVec<BigInteger>, IVec<IntegerVariable>, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.pb.core.IntegerPBSolverDecorator
addPseudoBoolean(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
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 class org.sat4j.pb.GroupPBSelectorSolver
addPseudoBoolean(IVecInt, IVec<BigInteger>, IVec<IntegerVariable>, IVec<BigInteger>, boolean, BigInteger) - Method in interface org.sat4j.pb.IIntegerPBSolver
addPseudoBoolean(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in interface org.sat4j.pb.IPBSolver: Create a Pseudo-Boolean constraint of the type "at least n or at most n of those literals must be satisfied"
addPseudoBoolean(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.pb.LPStringSolver
addPseudoBoolean(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addPseudoBoolean(IVecInt, IVec<BigInteger>, IVec<IntegerVariable>, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
addPseudoBoolean(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.pb.OPBStringSolver
addPseudoBoolean(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.pb.PBSolverDecorator
addPseudoBoolean(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.pb.tools.ClausalConstraintsDecorator
addPseudoBoolean(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.pb.tools.InprocCardConstrLearningSolver
addPseudoBoolean(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.pb.tools.LexicoDecoratorPB
addPseudoBoolean(IVecInt, IVec<BigInteger>, IVec<IntegerVariable>, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.pb.tools.ManyCoreIntegerPB
addPseudoBoolean(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.pb.tools.ManyCorePB
addPseudoBoolean(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.pb.tools.PBAdapter
addPseudoBoolean(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
addPseudoBoolean(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.pb.tools.XplainPB
addPseudoBoolean(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.pb.UserFriendlyPBStringSolver
addToObjectiveFunction(T, int) - Method in class org.sat4j.pb.tools.DependencyHelper: Add a weighted literal to the objective function.
addToObjectiveFunction(T, BigInteger) - Method in class org.sat4j.pb.tools.DependencyHelper: Add a weighted literal to the objective function.
addWeightedCriterion(Collection<WeightedObject<T>>) - Method in class org.sat4j.pb.tools.AbstractLexicoHelper
addWeightedCriterion(Collection<WeightedObject<T>>) - Method in class org.sat4j.pb.tools.LinMultiObjHelper
admitABetterSolution() - Method in class org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator
admitABetterSolution(IVecInt) - Method in class org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator
admitABetterSolution() - Method in class org.sat4j.pb.multiobjective.AbstractLinMultiObjOptimizer
admitABetterSolution(IVecInt) - Method in class org.sat4j.pb.multiobjective.AbstractLinMultiObjOptimizer
admitABetterSolution() - Method in class org.sat4j.pb.multiobjective.LeximinDecorator
admitABetterSolution(IVecInt) - Method in class org.sat4j.pb.multiobjective.LeximinDecorator
admitABetterSolution() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
admitABetterSolution(IVecInt) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
admitABetterSolution() - Method in class org.sat4j.pb.PBSolverHandle
admitABetterSolution(IVecInt) - Method in class org.sat4j.pb.PBSolverHandle
admitABetterSolution() - Method in class org.sat4j.pb.PseudoOptDecorator
admitABetterSolution(IVecInt) - Method in class org.sat4j.pb.PseudoOptDecorator
admitABetterSolution(IVecInt) - Method in class org.sat4j.pb.tools.LexicoDecoratorPB
admitABetterSolution(IVecInt) - Method in class org.sat4j.pb.tools.SteppedTimeoutLexicoDecoratorPB
analyze(Constr, Pair) - Method in class org.sat4j.pb.core.PBSolverCP
analyzeCP(Constr, Pair) - Method in class org.sat4j.pb.core.PBSolverCP
analyzeCP(Constr, Pair) - Method in class org.sat4j.pb.tools.InprocCardConstrLearningSolver
and(C, T, T...) - Method in class org.sat4j.pb.tools.DependencyHelper: Create a constraint of the form thing <=> (thing1 and thing 2 ... and thingn)
and(T) - Method in class org.sat4j.pb.tools.ImplicationAnd: Add a new positive literal to the conjunction of literals.
andNot(T) - Method in class org.sat4j.pb.tools.ImplicationAnd: Add a new negative literal to the conjunction of literals.
ANY - Static variable in interface org.sat4j.pb.constraints.pb.IWeakeningStrategy
assertConstraint(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.AtLeastPB
assertConstraint(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.LearntHTClausePB
assertConstraint(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.MinWatchCardPB
assertConstraint(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.WatchPb
assertConstraint(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
assertConstraint(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
assertConstraintIfNeeded(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.WatchPb
assertConstraintIfNeeded(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
assertConstraintIfNeeded(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
assertiveLiteral - Variable in class org.sat4j.pb.constraints.pb.MapPb
assignedLiteral(ILits, PBConstr, int) - Method in class org.sat4j.pb.lcds.AbstractLBDComputerStrategy
assignedLiteral(ILits, PBConstr, int) - Method in class org.sat4j.pb.lcds.EffectiveLiteralsOnlyLBDComputerStrategy
assignedLiteral(ILits, PBConstr, int) - Method in class org.sat4j.pb.lcds.FalsifiedLiteralsOnlyLBDComputerStrategy
assignedLiteral(ILits, PBConstr, int) - Method in class org.sat4j.pb.lcds.IgnoreUnassignedLiteralsLBDComputerStrategy
assignedLiteral(ILits, PBConstr, int) - Method in class org.sat4j.pb.lcds.UnassignedLiteralsHaveDifferentLevelLBDComputerStrategy
assignedLiteral(ILits, PBConstr, int) - Method in class org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy
atLeast(C, int, T...) - Method in class org.sat4j.pb.tools.DependencyHelper: Create a constraint stating that at most i domain object should be set to true.
atLeast(C, BigInteger, WeightedObject<T>...) - Method in class org.sat4j.pb.tools.DependencyHelper: Create a PB constraint of the form w1.l1 + w2.l2 + ... wn.ln >= degree where wi are position integers and li are domain objects.
AtLeastCard - Class in org.sat4j.pb.tools
AtLeastCard(IVecInt, int) - Constructor for class org.sat4j.pb.tools.AtLeastCard
AtLeastCard(BitSet, int, int) - Constructor for class org.sat4j.pb.tools.AtLeastCard
AtLeastCardConstructor - Class in org.sat4j.pb.constraints
AtLeastCardConstructor() - Constructor for class org.sat4j.pb.constraints.AtLeastCardConstructor
AtLeastCardPBConstructor - Class in org.sat4j.pb.constraints
AtLeastCardPBConstructor() - Constructor for class org.sat4j.pb.constraints.AtLeastCardPBConstructor
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(int, T...) - Method in class org.sat4j.pb.tools.DependencyHelper: Create a constraint stating that at most i domain object should be set to true.
atMost(C, int, T...) - Method in class org.sat4j.pb.tools.DependencyHelper: Create a constraint stating that at most i domain object should be set to true.
atMost(C, BigInteger, WeightedObject<T>...) - Method in class org.sat4j.pb.tools.DependencyHelper: Create a PB constraint of the form w1.l1 + w2.l2 + ... wn.ln <= degree where wi are position integers and li are domain objects.
atMost(C, int, WeightedObject<T>...) - Method in class org.sat4j.pb.tools.DependencyHelper
AtMostCard - Class in org.sat4j.pb.tools
AtMostCard(IVecInt, int) - Constructor for class org.sat4j.pb.tools.AtMostCard
AtMostCard(BitSet, int, int) - Constructor for class org.sat4j.pb.tools.AtMostCard
AutoDivisionStrategy - Enum in org.sat4j.pb.constraints.pb: The AutoDivisionStrategy enables to specify whether division should be applied automatically, when a common factor is identified.
autoDivisionStrategy - Variable in class org.sat4j.pb.constraints.pb.MapPb
average() - Method in class org.sat4j.pb.restarts.BigIntegerCircularBuffer

B

BASIC_NEGATION - Static variable in class org.sat4j.pb.tools.DependencyHelper
beginConstraint() - Method in class org.sat4j.pb.reader.OPBReader2005: callback called before we read a constraint
beginConstraint() - Method in class org.sat4j.pb.reader.OPBReader2010
beginListOfVariables() - Method in class org.sat4j.pb.reader.OPBEclipseReader2007: callback called before we read the list for variables explanation
beginObjective() - Method in class org.sat4j.pb.reader.OPBReader2005: callback called before we read the objective function
bigCoefs - Variable in class org.sat4j.pb.constraints.pb.WatchPbLongCP: coefficients of the literals of the constraint
bigDegree - Variable in class org.sat4j.pb.constraints.pb.WatchPbLongCP: degree of the pseudo-boolean constraint
BigIntegerCircularBuffer - Class in org.sat4j.pb.restarts
BigIntegerCircularBuffer(int) - Constructor for class org.sat4j.pb.restarts.BigIntegerCircularBuffer
BOUND - Static variable in class org.sat4j.pb.core.PBSolverCautious
brandNewClause(UnitPropagationListener, ILits, IVecInt) - Static method in class org.sat4j.pb.constraints.pb.OriginalBinaryClausePB: Creates a brand new clause, presumably from external data.
brandNewClause(UnitPropagationListener, ILits, IVecInt) - Static method in class org.sat4j.pb.constraints.pb.OriginalHTClausePB: Creates a brand new clause, presumably from external data.
buildConstraintFromConflict(IVecInt, IVec<BigInteger>) - Method in interface org.sat4j.pb.constraints.pb.IDataStructurePB
buildConstraintFromConflict(IVecInt, IVec<BigInteger>) - Method in class org.sat4j.pb.constraints.pb.MapPb
buildConstraintFromMapPb(int[], BigInteger[]) - Method in interface org.sat4j.pb.constraints.pb.IDataStructurePB
buildConstraintFromMapPb(int[], BigInteger[]) - Method in class org.sat4j.pb.constraints.pb.MapPb
Bumper - Enum in org.sat4j.pb.orders
BumperEffective - Class in org.sat4j.pb.orders
BumperEffective() - Constructor for class org.sat4j.pb.orders.BumperEffective
BumperEffectiveAndPropagated - Class in org.sat4j.pb.orders
BumperEffectiveAndPropagated() - Constructor for class org.sat4j.pb.orders.BumperEffectiveAndPropagated
BumpStrategy - Enum in org.sat4j.pb.orders
byLevel - Variable in class org.sat4j.pb.constraints.pb.ConflictMap: allows to access directly to all variables belonging to a particular level At index 0, unassigned literals are stored (usually level -1); so there is always a step between index and levels.

C

calcReason(int, IVecInt) - Method in class org.sat4j.pb.constraints.pb.WatchPb: compute the reason for the assignment of a literal
calcReason(int, IVecInt) - Method in class org.sat4j.pb.constraints.pb.WatchPbLong: compute the reason for the assignment of a literal
calcReason(int, IVecInt) - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP: compute the reason for the assignment of a literal
calcReasonOnTheFly(int, IVecInt, IVecInt) - Method in class org.sat4j.pb.constraints.pb.WatchPb
calcReasonOnTheFly(int, IVecInt, IVecInt) - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
calcReasonOnTheFly(int, IVecInt, IVecInt) - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
calculateDegree(RandomAccessModel) - Method in class org.sat4j.pb.ObjectiveFunction: Compute the degree of the objective function using a full model.
calculateDegreeImplicant(ISolver) - Method in class org.sat4j.pb.ObjectiveFunction: Compute the degree of the objective function using a prime implicant.
calculateObjective() - Method in class org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator: Deprecated.
calculateObjective() - Method in class org.sat4j.pb.multiobjective.MinSumOWAOptimizer
calculateObjective() - Method in class org.sat4j.pb.multiobjective.OrderedObjsOWAOptimizer
calculateObjective() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
calculateObjective() - Method in class org.sat4j.pb.PBSolverHandle
calculateObjective() - Method in class org.sat4j.pb.PseudoOptDecorator
canBePropagatedMultipleTimes() - Method in class org.sat4j.pb.constraints.pb.WatchPb
canBePropagatedMultipleTimes() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
canBePropagatedMultipleTimes() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
canBeSatisfiedByCountingLiterals() - Method in class org.sat4j.pb.constraints.pb.WatchPb
canBeSatisfiedByCountingLiterals() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
canBeSatisfiedByCountingLiterals() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
CardConstrFinder - Class in org.sat4j.pb.tools
CardConstrFinder(IPBSolver) - Constructor for class org.sat4j.pb.tools.CardConstrFinder
CardConstrLearningSolverLauncher - Class in org.sat4j.pb
CardConstrLearningSolverLauncher(String) - Constructor for class org.sat4j.pb.CardConstrLearningSolverLauncher
cardDetectionAnalyzeCP(Constr, Pair) - Method in class org.sat4j.pb.tools.InprocCardConstrLearningSolver
changeDecorated(IPBSolver) - Method in class org.sat4j.pb.PBSolverHandle
checkId(StringBuilder) - Method in class org.sat4j.pb.reader.OPBReader2005
checkId(StringBuilder) - Method in class org.sat4j.pb.reader.OPBReader2007
chooseAssertiveLiteral(int, ConflictMap) - Method in class org.sat4j.pb.constraints.pb.PostProcessToClause
chooseConflict(PBConstr, int) - Method in class org.sat4j.pb.core.PBSolverCautious
chooseConflict(PBConstr, int) - Method in class org.sat4j.pb.core.PBSolverClause
chooseConflict(PBConstr, int) - Method in class org.sat4j.pb.core.PBSolverCP
chooseConflict(PBConstr, int) - Method in class org.sat4j.pb.core.PBSolverCPCardLearning
chooseConflict(PBConstr, int) - Method in class org.sat4j.pb.core.PBSolverCPClauseLearning
chooseConflict(PBConstr, int) - Method in class org.sat4j.pb.core.PBSolverCPLong
chooseConflict(PBConstr, int) - Method in class org.sat4j.pb.core.PBSolverCPLongDivideBy2
chooseConflict(PBConstr, int) - Method in class org.sat4j.pb.core.PBSolverCPLongDivideByGCD
chooseConflict(PBConstr, int) - Method in class org.sat4j.pb.core.PBSolverCPLongReduceToCard
chooseConflict(PBConstr, int) - Method in class org.sat4j.pb.core.PBSolverCPLongRounding
chooseConflict(PBConstr, int) - Method in class org.sat4j.pb.core.PBSolverCPReduceByGCD
chooseConflict(PBConstr, int) - Method in class org.sat4j.pb.core.PBSolverCPReduceByPowersOf2
ClausalConstraintsDecorator - Class in org.sat4j.pb.tools
ClausalConstraintsDecorator(IPBSolver, EncodingStrategyAdapter) - Constructor for class org.sat4j.pb.tools.ClausalConstraintsDecorator
ClausalConstraintsDecorator(IPBSolver) - Constructor for class org.sat4j.pb.tools.ClausalConstraintsDecorator
clause(C, T...) - Method in class org.sat4j.pb.tools.DependencyHelper: Create a clause (thing1 or thing 2 ... or thingn)
clear() - Method in class org.sat4j.pb.restarts.BigIntegerCircularBuffer
clearLearntClauses() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
clearLearntClauses() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
coefficientsEqualToOne() - Method in class org.sat4j.pb.constraints.pb.WatchPb
coefficientsEqualToOne() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
coefficientsEqualToOne() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
coeffs - Variable in class org.sat4j.pb.reader.OPBReader2005
coefMult - Variable in class org.sat4j.pb.constraints.pb.ConflictMap
coefMultCons - Variable in class org.sat4j.pb.constraints.pb.ConflictMap
coefs - Variable in class org.sat4j.pb.constraints.pb.WatchPb: coefficients of the literals of the constraint
coefs - Variable in class org.sat4j.pb.constraints.pb.WatchPbLong: coefficients of the literals of the constraint
coefs - Variable in class org.sat4j.pb.constraints.pb.WatchPbLongCP: coefficients of the literals of the constraint
CombinationIterator - Class in org.sat4j.pb.tools
CombinationIterator(int, int) - Constructor for class org.sat4j.pb.tools.CombinationIterator
CombinationIterator(int, Set<Integer>) - Constructor for class org.sat4j.pb.tools.CombinationIterator
CombinationIterator(int, BitSet) - Constructor for class org.sat4j.pb.tools.CombinationIterator
CombinationIterator(int, BitSet, int) - Constructor for class org.sat4j.pb.tools.CombinationIterator
compare(Integer, Integer) - Method in class org.sat4j.pb.ObjectiveFunctionComparator
compareTo(WeightedObject<T>) - Method in class org.sat4j.pb.tools.WeightedObject
CompetMinHTmixedClauseCardConstrDataStructureFactory - Class in org.sat4j.pb.constraints
CompetMinHTmixedClauseCardConstrDataStructureFactory() - Constructor for class org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory
CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure - Class in org.sat4j.pb.constraints
CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure() - Constructor for class org.sat4j.pb.constraints.CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure
CompetResolutionPBLongMixedHTClauseCardConstrDataStructure - Class in org.sat4j.pb.constraints
CompetResolutionPBLongMixedHTClauseCardConstrDataStructure() - Constructor for class org.sat4j.pb.constraints.CompetResolutionPBLongMixedHTClauseCardConstrDataStructure
CompetResolutionPBLongMixedWLClauseCardConstrDataStructure - Class in org.sat4j.pb.constraints
CompetResolutionPBLongMixedWLClauseCardConstrDataStructure() - Constructor for class org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure
CompetResolutionPBMixedHTClauseCardConstrDataStructure - Class in org.sat4j.pb.constraints
CompetResolutionPBMixedHTClauseCardConstrDataStructure() - Constructor for class org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure
CompetResolutionPBMixedWLClauseCardConstrDataStructure - Class in org.sat4j.pb.constraints
CompetResolutionPBMixedWLClauseCardConstrDataStructure() - Constructor for class org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure
compute() - Method in class org.sat4j.pb.multiobjective.CriterionOptimumComputer: Launch optimization processes.
computeAnImpliedClause() - Method in class org.sat4j.pb.constraints.pb.AtLeastPB
computeAnImpliedClause() - Method in class org.sat4j.pb.constraints.pb.LearntBinaryClausePB
computeAnImpliedClause() - Method in class org.sat4j.pb.constraints.pb.LearntHTClausePB
computeAnImpliedClause() - Method in class org.sat4j.pb.constraints.pb.MinWatchCardPB
computeAnImpliedClause() - Method in class org.sat4j.pb.constraints.pb.OriginalBinaryClausePB
computeAnImpliedClause() - Method in class org.sat4j.pb.constraints.pb.OriginalHTClausePB
computeAnImpliedClause() - Method in interface org.sat4j.pb.constraints.pb.PBConstr
computeAnImpliedClause() - Method in class org.sat4j.pb.constraints.pb.UnitClausePB
computeAnImpliedClause() - Method in class org.sat4j.pb.constraints.pb.UnitClausesPB
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.WatchPbLong: compute an implied clause on the literals with the greater coefficients.
computeAnImpliedClause() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP: compute an implied clause on the literals with the greater coefficients.
computeLBD(ILits, PBConstr, int) - Method in class org.sat4j.pb.lcds.AbstractLBDComputerStrategy
computeLBD(ILits, PBConstr, int) - Method in class org.sat4j.pb.lcds.DegreeLBDComputerStrategy
computeLBD(ILits, PBConstr, int) - Method in class org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy
computeLBD(ILits, PBConstr, int) - Method in interface org.sat4j.pb.lcds.ILBDComputerStrategy
computeLBD(ILits, PBConstr, int) - Method in class org.sat4j.pb.lcds.LBDComputerStrategyDecorator
computeLBD(Constr, int) - Method in class org.sat4j.pb.lcds.PBGlucoseLCDS
computeLBD(ILits, PBConstr, int) - Method in class org.sat4j.pb.lcds.RatioCoefficientsDegreeLBDComputerStrategy
computeLBD(ILits, PBConstr, int) - Method in class org.sat4j.pb.lcds.SlackLBDComputerStrategy
computeLBD(ILits, PBConstr, int) - Method in class org.sat4j.pb.lcds.WeightedLBDComputerStrategy
computeLeftSide(BigInteger[]) - Method in class org.sat4j.pb.constraints.pb.WatchPb: compute the sum of the coefficients of the satisfied or non-assigned literals of a described constraint (usually called poss)
computeLeftSide() - Method in class org.sat4j.pb.constraints.pb.WatchPb: compute the sum of the coefficients of the satisfied or non-assigned literals of the current constraint (usually called poss)
computeLeftSide(long[]) - Method in class org.sat4j.pb.constraints.pb.WatchPbLong: compute the sum of the coefficients of the satisfied or non-assigned literals of a described constraint (usually called poss)
computeLeftSide() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong: compute the sum of the coefficients of the satisfied or non-assigned literals of the current constraint (usually called poss)
computeLeftSide(long[]) - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP: compute the sum of the coefficients of the satisfied or non-assigned literals of a described constraint (usually called poss)
computeLeftSide(BigInteger[]) - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP: compute the sum of the coefficients of the satisfied or non-assigned literals of a described constraint (usually called poss)
computeLeftSide() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP: compute the sum of the coefficients of the satisfied or non-assigned literals of the current constraint (usually called poss)
computePropagation(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.MaxWatchPb
computePropagation(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.MaxWatchPbLong
computePropagation(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.MaxWatchPbLongCP
computePropagation(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.MinWatchPb
computePropagation(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.MinWatchPbLong
computePropagation(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.MinWatchPbLongCP
computePropagation(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.WatchPb
computePropagation(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
computePropagation(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
computeWatches() - Method in class org.sat4j.pb.constraints.pb.MaxWatchPb: All the literals are watched.
computeWatches() - Method in class org.sat4j.pb.constraints.pb.MaxWatchPbLong: All the literals are watched.
computeWatches() - Method in class org.sat4j.pb.constraints.pb.MaxWatchPbLongCP: All the literals are watched.
computeWatches() - Method in class org.sat4j.pb.constraints.pb.MinWatchPb
computeWatches() - Method in class org.sat4j.pb.constraints.pb.MinWatchPbLong
computeWatches() - Method in class org.sat4j.pb.constraints.pb.MinWatchPbLongCP
computeWatches() - Method in class org.sat4j.pb.constraints.pb.WatchPb
computeWatches() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
computeWatches() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
configureLauncher() - Method in class org.sat4j.pb.LanceurPseudo2007
configureSolver(String[]) - Method in class org.sat4j.pb.LanceurPseudo2005
configureSolver(String[]) - Method in class org.sat4j.pb.LanceurPseudo2007Eclipse
ConflictMap - Class in org.sat4j.pb.constraints.pb
ConflictMapClause - Class in org.sat4j.pb.constraints.pb
ConflictMapClause(PBConstr, int) - Constructor for class org.sat4j.pb.constraints.pb.ConflictMapClause
ConflictMapClause(PBConstr, int, boolean) - Constructor for class org.sat4j.pb.constraints.pb.ConflictMapClause
ConflictMapDivideByPivot - Class in org.sat4j.pb.constraints.pb
ConflictMapDivideByPivot(PBConstr, int, boolean, SkipStrategy, IPreProcess, IPostProcess, IWeakeningStrategy, AutoDivisionStrategy, PBSolverStats, DivisionStrategy, IReduceConflictStrategy, boolean) - Constructor for class org.sat4j.pb.constraints.pb.ConflictMapDivideByPivot
ConflictMapMinimizeWeakening - Class in org.sat4j.pb.constraints.pb
ConflictMapMinimizeWeakening(PBConstr, int, boolean, SkipStrategy, IPreProcess, IPostProcess, IWeakeningStrategy, AutoDivisionStrategy, PBSolverStats) - Constructor for class org.sat4j.pb.constraints.pb.ConflictMapMinimizeWeakening
ConflictMapReduceByGCD - Class in org.sat4j.pb.constraints.pb
ConflictMapReduceByGCD(PBConstr, int, boolean, SkipStrategy, IPreProcess, IPostProcess, IWeakeningStrategy, AutoDivisionStrategy, PBSolverStats) - Constructor for class org.sat4j.pb.constraints.pb.ConflictMapReduceByGCD
ConflictMapReduceByPowersOf2 - Class in org.sat4j.pb.constraints.pb
ConflictMapReduceByPowersOf2(PBConstr, int, boolean, SkipStrategy, IWeakeningStrategy, IPreProcess, IPostProcess, AutoDivisionStrategy, PBSolverStats) - Constructor for class org.sat4j.pb.constraints.pb.ConflictMapReduceByPowersOf2
ConflictMapReduceToCard - Class in org.sat4j.pb.constraints.pb: This class implements the reduction to cardinality algorithm proposed by Heidi Dixon in her dissertation.
ConflictMapReduceToCard(PBConstr, int, boolean, SkipStrategy, IPreProcess, IPostProcess, IWeakeningStrategy, AutoDivisionStrategy, PBSolverStats) - Constructor for class org.sat4j.pb.constraints.pb.ConflictMapReduceToCard
ConflictMapReduceToClause - Class in org.sat4j.pb.constraints.pb
ConflictMapReduceToClause(PBConstr, int, boolean, SkipStrategy, IPreProcess, IPostProcess, IWeakeningStrategy, AutoDivisionStrategy, PBSolverStats) - Constructor for class org.sat4j.pb.constraints.pb.ConflictMapReduceToClause
ConflictMapRounding - Class in org.sat4j.pb.constraints.pb
ConflictMapRounding(PBConstr, int, boolean, SkipStrategy, IPreProcess, IPostProcess, IWeakeningStrategy, AutoDivisionStrategy, PBSolverStats) - Constructor for class org.sat4j.pb.constraints.pb.ConflictMapRounding
ConflictMapSwitchToClause - Class in org.sat4j.pb.constraints.pb
ConflictMapSwitchToClause(PBConstr, int) - Constructor for class org.sat4j.pb.constraints.pb.ConflictMapSwitchToClause
ConflictMapSwitchToClause(PBConstr, int, boolean, SkipStrategy, PBSolverStats) - Constructor for class org.sat4j.pb.constraints.pb.ConflictMapSwitchToClause
ConflictMapWeakenReason - Class in org.sat4j.pb.constraints.pb
ConflictMapWeakenReason(PBConstr, int, boolean, SkipStrategy, IPreProcess, IPostProcess, IWeakeningStrategy, AutoDivisionStrategy, PBSolverStats) - Constructor for class org.sat4j.pb.constraints.pb.ConflictMapWeakenReason
ConflictMapWeakenToClash - Class in org.sat4j.pb.constraints.pb
ConflictMapWeakenToClash(PBConstr, int, boolean, SkipStrategy, IPreProcess, IPostProcess, IWeakeningStrategy, AutoDivisionStrategy, PBSolverStats) - Constructor for class org.sat4j.pb.constraints.pb.ConflictMapWeakenToClash
ConflictTracing - Class in org.sat4j.pb.tools
ConflictTracing(String) - Constructor for class org.sat4j.pb.tools.ConflictTracing
constraintFactory(int[], BigInteger[], BigInteger) - Method in class org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
constraintFactory(int[], BigInteger[], BigInteger) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory
constraintFactory(int[], BigInteger[], BigInteger) - Method in class org.sat4j.pb.constraints.PBMaxDataStructure
constraintFactory(int[], BigInteger[], BigInteger) - Method in class org.sat4j.pb.constraints.PBMinDataStructure
constraintFactory(int[], BigInteger[], BigInteger) - Method in class org.sat4j.pb.constraints.PuebloPBMinDataStructure
constraintRegexp() - Method in class org.sat4j.pb.reader.JSONPBReader
ConstraintRelaxingPseudoOptDecorator - Class in org.sat4j.pb
ConstraintRelaxingPseudoOptDecorator(IPBSolver) - Constructor for class org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator
constraintRelOp(String) - Method in class org.sat4j.pb.reader.OPBReader2005: callback called when we read the relational operator of a constraint
constraintRightTerm(BigInteger) - Method in class org.sat4j.pb.reader.OPBReader2005: callback called when we read the right term of a constraint (also known as the degree)
constructCard(IVecInt, int) - Method in class org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
constructCard(UnitPropagationListener, ILits, IVecInt, int) - Method in class org.sat4j.pb.constraints.AtLeastCardConstructor
constructCard(UnitPropagationListener, ILits, IVecInt, int) - Method in class org.sat4j.pb.constraints.AtLeastCardPBConstructor
constructCard(UnitPropagationListener, ILits, IVecInt, int) - Method in interface org.sat4j.pb.constraints.ICardConstructor
constructCard(UnitPropagationListener, ILits, IVecInt, int) - Method in class org.sat4j.pb.constraints.MinCardConstructor
constructCard(UnitPropagationListener, ILits, IVecInt, int) - Method in class org.sat4j.pb.constraints.MinCardPBConstructor
constructClause(IVecInt) - Method in class org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
constructClause(UnitPropagationListener, ILits, IVecInt) - Method in interface org.sat4j.pb.constraints.IClauseConstructor
constructClause(UnitPropagationListener, ILits, IVecInt) - Method in class org.sat4j.pb.constraints.UnitBinaryHTClauseConstructor
constructClause(UnitPropagationListener, ILits, IVecInt) - Method in class org.sat4j.pb.constraints.UnitBinaryHTClausePBConstructor
constructClause(UnitPropagationListener, ILits, IVecInt) - Method in class org.sat4j.pb.constraints.UnitBinaryWLClauseConstructor
constructClause(UnitPropagationListener, ILits, IVecInt) - Method in class org.sat4j.pb.constraints.UnitConciseBinaryWLClauseConstructor
constructLearntCard(IDataStructurePB) - Method in class org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
constructLearntCard(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
constructLearntCard(ILits, IDataStructurePB) - Method in class org.sat4j.pb.constraints.AtLeastCardConstructor
constructLearntCard(ILits, IDataStructurePB) - Method in class org.sat4j.pb.constraints.AtLeastCardPBConstructor
constructLearntCard(ILits, IDataStructurePB) - Method in interface org.sat4j.pb.constraints.ICardConstructor
constructLearntCard(ILits, IDataStructurePB) - Method in class org.sat4j.pb.constraints.MinCardConstructor
constructLearntCard(ILits, IDataStructurePB) - Method in class org.sat4j.pb.constraints.MinCardPBConstructor
constructLearntClause(IVecInt) - Method in class org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
constructLearntClause(ILits, IVecInt) - Method in interface org.sat4j.pb.constraints.IClauseConstructor
constructLearntClause(ILits, IVecInt) - Method in class org.sat4j.pb.constraints.UnitBinaryHTClauseConstructor
constructLearntClause(ILits, IVecInt) - Method in class org.sat4j.pb.constraints.UnitBinaryHTClausePBConstructor
constructLearntClause(ILits, IVecInt) - Method in class org.sat4j.pb.constraints.UnitBinaryWLClauseConstructor
constructLearntClause(ILits, IVecInt) - Method in class org.sat4j.pb.constraints.UnitConciseBinaryWLClauseConstructor
constructLearntPB(IDataStructurePB) - Method in class org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
constructLearntPB(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
constructLearntPB(ILits, IDataStructurePB) - Method in interface org.sat4j.pb.constraints.IPBConstructor
constructLearntPB(ILits, IDataStructurePB) - Method in class org.sat4j.pb.constraints.MaxLongWatchPBConstructor
constructLearntPB(ILits, IDataStructurePB) - Method in class org.sat4j.pb.constraints.MaxLongWatchPBCPConstructor
constructLearntPB(ILits, IDataStructurePB) - Method in class org.sat4j.pb.constraints.MaxWatchPBConstructor
constructLearntPB(ILits, IDataStructurePB) - Method in class org.sat4j.pb.constraints.MinLongWatchPBConstructor
constructLearntPB(ILits, IDataStructurePB) - Method in class org.sat4j.pb.constraints.MinLongWatchPBCPConstructor
constructLearntPB(ILits, IDataStructurePB) - Method in class org.sat4j.pb.constraints.MinWatchPBConstructor
constructLearntPB(ILits, IDataStructurePB) - Method in class org.sat4j.pb.constraints.PuebloMinWatchPBConstructor
constructPB(int[], BigInteger[], BigInteger) - Method in class org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
constructPB(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger, BigInteger) - Method in interface org.sat4j.pb.constraints.IPBConstructor
constructPB(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger, BigInteger) - Method in class org.sat4j.pb.constraints.MaxLongWatchPBConstructor
constructPB(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger, BigInteger) - Method in class org.sat4j.pb.constraints.MaxLongWatchPBCPConstructor
constructPB(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger, BigInteger) - Method in class org.sat4j.pb.constraints.MaxWatchPBConstructor
constructPB(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger, BigInteger) - Method in class org.sat4j.pb.constraints.MinLongWatchPBConstructor
constructPB(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger, BigInteger) - Method in class org.sat4j.pb.constraints.MinLongWatchPBCPConstructor
constructPB(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger, BigInteger) - Method in class org.sat4j.pb.constraints.MinWatchPBConstructor
constructPB(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger, BigInteger) - Method in class org.sat4j.pb.constraints.PuebloMinWatchPBConstructor
createAtLeastPBConstraint(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory
createAtLeastPBConstraint(IVecInt, IVec<BigInteger>, BigInteger) - Method in interface org.sat4j.pb.core.PBDataStructureFactory
createAtMostPBConstraint(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory
createAtMostPBConstraint(IVecInt, IVec<BigInteger>, BigInteger) - Method in interface org.sat4j.pb.core.PBDataStructureFactory
createBlockingClauseForCurrentModel() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
createBlockingClauseForCurrentModel() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
createBlockingClauseForCurrentModel() - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
createCardinalityConstraint(IVecInt, int) - Method in class org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
createCardinalityConstraint(IVecInt, int) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory
createClause(IVecInt) - Method in class org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
createClause(IVecInt) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory
createClause(IVecInt) - Method in class org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure
createConflict(PBConstr, int, boolean, SkipStrategy, IPreProcess, IPostProcess, IWeakeningStrategy, AutoDivisionStrategy, PBSolverStats) - 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, boolean) - Static method in class org.sat4j.pb.constraints.pb.ConflictMapClause
createConflict(PBConstr, int, boolean, SkipStrategy, IPreProcess, IPostProcess, IWeakeningStrategy, AutoDivisionStrategy, PBSolverStats, DivisionStrategy, IReduceConflictStrategy, boolean) - Static method in class org.sat4j.pb.constraints.pb.ConflictMapDivideByPivot
createConflict(PBConstr, int, boolean, SkipStrategy, IPreProcess, IPostProcess, IWeakeningStrategy, AutoDivisionStrategy, PBSolverStats) - Static method in class org.sat4j.pb.constraints.pb.ConflictMapMinimizeWeakening
createConflict(PBConstr, int, boolean, SkipStrategy, IPreProcess, IPostProcess, IWeakeningStrategy, AutoDivisionStrategy, PBSolverStats) - Static method in class org.sat4j.pb.constraints.pb.ConflictMapReduceByGCD
createConflict(PBConstr, int, boolean, SkipStrategy, IPreProcess, IPostProcess, IWeakeningStrategy, AutoDivisionStrategy, PBSolverStats) - Static method in class org.sat4j.pb.constraints.pb.ConflictMapReduceByPowersOf2
createConflict(PBConstr, int, boolean, SkipStrategy, IPreProcess, IPostProcess, IWeakeningStrategy, AutoDivisionStrategy, PBSolverStats) - Static method in class org.sat4j.pb.constraints.pb.ConflictMapReduceToCard
createConflict(PBConstr, int, boolean, SkipStrategy, IPreProcess, IPostProcess, IWeakeningStrategy, AutoDivisionStrategy, PBSolverStats) - Static method in class org.sat4j.pb.constraints.pb.ConflictMapReduceToClause
createConflict(PBConstr, int, boolean, SkipStrategy, IPreProcess, IPostProcess, IWeakeningStrategy, AutoDivisionStrategy, PBSolverStats) - Static method in class org.sat4j.pb.constraints.pb.ConflictMapRounding
createConflict(PBConstr, int, boolean, SkipStrategy, IPreProcess, IPostProcess, IWeakeningStrategy, AutoDivisionStrategy, PBSolverStats) - Static method in class org.sat4j.pb.constraints.pb.ConflictMapWeakenReason
createConflict(PBConstr, int, boolean, SkipStrategy, IPreProcess, IPostProcess, IWeakeningStrategy, AutoDivisionStrategy, PBSolverStats) - Static method in class org.sat4j.pb.constraints.pb.ConflictMapWeakenToClash
createConflict(PBConstr, int, boolean, SkipStrategy, IPreProcess, IPostProcess, IWeakeningStrategy, AutoDivisionStrategy, PBSolverStats) - Method in interface org.sat4j.pb.constraints.pb.IConflictFactory
createLits() - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory
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
createReader(ISolver, String) - Method in class org.sat4j.pb.LanceurPseudo2005
createReader(ISolver, String) - Method in class org.sat4j.pb.LanceurPseudo2007
createReader(ISolver, String) - Method in class org.sat4j.pb.LanceurPseudo2007Eclipse
createUnregisteredAtLeastConstraint(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory
createUnregisteredAtLeastConstraint(IVecInt, IVec<BigInteger>, BigInteger) - Method in interface org.sat4j.pb.core.PBDataStructureFactory
createUnregisteredAtMostConstraint(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory
createUnregisteredAtMostConstraint(IVecInt, IVec<BigInteger>, BigInteger) - Method in interface org.sat4j.pb.core.PBDataStructureFactory
createUnregisteredCardinalityConstraint(IVecInt, int) - Method in class org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
createUnregisteredCardinalityConstraint(IVecInt, int) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory
createUnregisteredClause(IVecInt) - Method in class org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
createUnregisteredClause(IVecInt) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory
createUnregisteredPseudoBooleanConstraint(IDataStructurePB) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory
createUnregisteredPseudoBooleanConstraint(IDataStructurePB) - Method in interface org.sat4j.pb.core.PBDataStructureFactory
CriterionOptimumComputer<S extends IPBSolver> - Class in org.sat4j.pb.multiobjective: A class used to compute optimal values for each criteria for a given problem.
CriterionOptimumComputer(ManyCorePB<S>) - Constructor for class org.sat4j.pb.multiobjective.CriterionOptimumComputer
currentLevel - Variable in class org.sat4j.pb.constraints.pb.ConflictMap
currentSlack - Variable in class org.sat4j.pb.constraints.pb.ConflictMap: to store the slack of the current resolvant
cuttingPlane(PBConstr, BigInteger, BigInteger[], VarActivityListener, int) - Method in interface org.sat4j.pb.constraints.pb.IDataStructurePB
cuttingPlane(PBConstr, BigInteger, BigInteger[], BigInteger, VarActivityListener, int) - 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, int) - Method in class org.sat4j.pb.constraints.pb.MapPb
cuttingPlane(PBConstr, BigInteger, BigInteger[], BigInteger, VarActivityListener, int) - 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

D

d - Variable in class org.sat4j.pb.reader.OPBReader2005
decode(int[]) - Method in class org.sat4j.pb.reader.OPBReader2005
decode(int[], PrintWriter) - Method in class org.sat4j.pb.reader.OPBReader2005
decode(int[]) - Method in class org.sat4j.pb.reader.OPBReader2007
decode(int[], PrintWriter) - Method in class org.sat4j.pb.reader.OPBReader2007
defaultSolver() - Method in class org.sat4j.pb.SolverFactory: Provides the best available PB solver of the library ready to solve satisfaction problems.
degree - Variable in class org.sat4j.pb.constraints.pb.InternalMapPBStructure
degree - Variable in class org.sat4j.pb.constraints.pb.MapPb
degree - Variable in class org.sat4j.pb.constraints.pb.WatchPb: degree of the pseudo-boolean constraint
degree - Variable in class org.sat4j.pb.constraints.pb.WatchPbLong: degree of the pseudo-boolean constraint
degree - Variable in class org.sat4j.pb.constraints.pb.WatchPbLongCP: degree of the pseudo-boolean constraint
DegreeLBDComputerStrategy - Class in org.sat4j.pb.lcds
DegreeLBDComputerStrategy() - Constructor for class org.sat4j.pb.lcds.DegreeLBDComputerStrategy
DegreeSizeLBDComputerStrategy - Class in org.sat4j.pb.lcds
DegreeSizeLBDComputerStrategy() - Constructor for class org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy
DependencyHelper<T,C> - Class in org.sat4j.pb.tools: Helper class intended to make life easier to people to feed a sat solver programmatically.
DependencyHelper(IPBSolver) - Constructor for class org.sat4j.pb.tools.DependencyHelper
DependencyHelper(IPBSolver, boolean) - Constructor for class org.sat4j.pb.tools.DependencyHelper
DependencyHelper(IPBSolver, boolean, boolean) - Constructor for class org.sat4j.pb.tools.DependencyHelper
DimacsToOpb - Class in org.sat4j.pb.tools: Read an OPB file and output a CNF file.
DimacsToOpb() - Constructor for class org.sat4j.pb.tools.DimacsToOpb
discard() - Method in class org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator: Deprecated.
discard() - Method in class org.sat4j.pb.multiobjective.OrderedObjsOWAOptimizer
discard() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
discard() - Method in class org.sat4j.pb.PBSolverHandle
discard() - Method in class org.sat4j.pb.PseudoOptDecorator
discard(IVec<T>) - Method in class org.sat4j.pb.tools.DependencyHelper
discardCurrentModel() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
discardCurrentModel() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
discardCurrentModel() - Method in class org.sat4j.pb.PseudoOptDecorator
discardCurrentSolution() - Method in class org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator
discardCurrentSolution() - Method in class org.sat4j.pb.multiobjective.OrderedObjsOWAOptimizer
discardCurrentSolution() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
discardCurrentSolution() - Method in class org.sat4j.pb.PBSolverHandle
discardCurrentSolution() - Method in class org.sat4j.pb.PseudoIteratorDecorator
discardCurrentSolution() - Method in class org.sat4j.pb.PseudoOptDecorator
discardSolutionsForOptimizing() - Method in class org.sat4j.pb.tools.LexicoDecoratorPB
discardSolutionsWithObjectiveValueGreaterThan(long) - Method in class org.sat4j.pb.tools.DependencyHelper
disjunction(T...) - Method in class org.sat4j.pb.tools.DependencyHelper
DisjunctionRHS<T,C> - Class in org.sat4j.pb.tools
DisjunctionRHS(DependencyHelper<T, C>, IVecInt) - Constructor for class org.sat4j.pb.tools.DisjunctionRHS
displayResult() - Method in class org.sat4j.pb.LanceurPseudo2007Eclipse
divide(BigInteger, BigInteger) - Method in enum org.sat4j.pb.constraints.pb.DivisionStrategy
DivisionStrategy - Enum in org.sat4j.pb.constraints.pb
DoubleBumpClashingLiteralsDecorator - Class in org.sat4j.pb.orders
DoubleBumpClashingLiteralsDecorator(IBumper) - Constructor for class org.sat4j.pb.orders.DoubleBumpClashingLiteralsDecorator
dump() - Method in class org.sat4j.pb.constraints.pb.AtLeastPB
dump() - Method in class org.sat4j.pb.constraints.pb.LearntBinaryClausePB
dump() - Method in class org.sat4j.pb.constraints.pb.LearntHTClausePB
dump() - Method in class org.sat4j.pb.constraints.pb.MinWatchCardPB
dump() - Method in class org.sat4j.pb.constraints.pb.OriginalBinaryClausePB
dump() - Method in class org.sat4j.pb.constraints.pb.OriginalHTClausePB
dump() - Method in class org.sat4j.pb.constraints.pb.UnitClausePB
dump() - Method in class org.sat4j.pb.constraints.pb.WatchPb
dump() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
dump() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP

E

EffectiveLiteralsOnlyLBDComputerStrategy - Class in org.sat4j.pb.lcds
EffectiveLiteralsOnlyLBDComputerStrategy() - Constructor for class org.sat4j.pb.lcds.EffectiveLiteralsOnlyLBDComputerStrategy
end(Lbool) - Method in class org.sat4j.pb.tools.SearchOptimizerListener
endConstraint() - Method in class org.sat4j.pb.reader.OPBReader2005
endConstraint() - Method in class org.sat4j.pb.reader.OPBReader2010
endListOfVariables() - Method in class org.sat4j.pb.reader.OPBEclipseReader2007: callback called after we've read the list for variable explanation
endObjective() - Method in class org.sat4j.pb.reader.OPBReader2005: callback called after we've read the objective function
eof() - Method in class org.sat4j.pb.reader.OPBReader2005: return true iff we've reached EOF
eol() - Method in class org.sat4j.pb.reader.OPBReader2005
equals(Object) - Method in class org.sat4j.pb.constraints.pb.WatchPb
equals(Object) - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
equals(Object) - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
equals(Object) - Method in class org.sat4j.pb.ObjectiveFunction
equals(Object) - Method in class org.sat4j.pb.tools.AtLeastCard
equals(Object) - Method in class org.sat4j.pb.tools.WeightedObject
evaluate() - Method in class org.sat4j.pb.tools.LexicoDecoratorPB
evaluate(int) - Method in class org.sat4j.pb.tools.LexicoDecoratorPB
expireAll() - Method in class org.sat4j.pb.multiobjective.CriterionOptimumComputer
expireTimeout() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
expireTimeout() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
expireTimeout() - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver

F

factory() - Static method in class org.sat4j.pb.constraints.pb.ConflictMap
factory() - Static method in class org.sat4j.pb.constraints.pb.ConflictMapMinimizeWeakening
factory() - Static method in class org.sat4j.pb.constraints.pb.ConflictMapReduceByGCD
factory() - Static method in class org.sat4j.pb.constraints.pb.ConflictMapReduceByPowersOf2
factory() - Static method in class org.sat4j.pb.constraints.pb.ConflictMapReduceToCard
factory() - Static method in class org.sat4j.pb.constraints.pb.ConflictMapReduceToClause
factory() - Static method in class org.sat4j.pb.constraints.pb.ConflictMapRounding
factory() - Static method in class org.sat4j.pb.constraints.pb.ConflictMapWeakenReason
factory() - Static method in class org.sat4j.pb.constraints.pb.ConflictMapWeakenToClash
FalsifiedLiteralsOnlyLBDComputerStrategy - Class in org.sat4j.pb.lcds
FalsifiedLiteralsOnlyLBDComputerStrategy() - Constructor for class org.sat4j.pb.lcds.FalsifiedLiteralsOnlyLBDComputerStrategy
findLiteralToRemove(ILits, IWatchPb, BigInteger[], int, BigInteger) - Method in interface org.sat4j.pb.constraints.pb.IWeakeningStrategy
findModel() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
findModel(IVecInt) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
findModel() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
findModel(IVecInt) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
findModel() - Method in class org.sat4j.pb.OptToPBSATAdapter
findModel(IVecInt) - Method in class org.sat4j.pb.OptToPBSATAdapter
findMult(BigInteger, BigInteger) - Method in class org.sat4j.pb.constraints.pb.ConflictMapWeakenToClash: Finds the value by which the reason must be multiplied to clash with the conflict.
fixCriterionValue() - Method in class org.sat4j.pb.tools.LexicoDecoratorPB
fixLbd(PBConstr, int) - Method in class org.sat4j.pb.lcds.AbstractLBDComputerStrategy
fixLbd(PBConstr, int) - Method in class org.sat4j.pb.lcds.EffectiveLiteralsOnlyLBDComputerStrategy
flag - Variable in class org.sat4j.pb.lcds.AbstractLBDComputerStrategy
flags - Variable in class org.sat4j.pb.lcds.AbstractLBDComputerStrategy
FOR_COMPETITION - Static variable in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory
forceObjectiveValueTo(Number) - Method in class org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator
forceObjectiveValueTo(Number) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
forceObjectiveValueTo(Number) - Method in class org.sat4j.pb.PBSolverHandle
forceObjectiveValueTo(Number) - Method in class org.sat4j.pb.PseudoOptDecorator
forget() - Method in class org.sat4j.pb.tools.CardConstrFinder
forwardActivity(double) - Method in class org.sat4j.pb.constraints.pb.WatchPb
forwardActivity(double) - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
forwardActivity(double) - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
fullWeakeningOnBothFactory() - Static method in class org.sat4j.pb.constraints.pb.ConflictMapDivideByPivot
fullWeakeningOnConflictFactory() - Static method in class org.sat4j.pb.constraints.pb.ConflictMapDivideByPivot
fullWeakeningOnReasonFactory() - Static method in class org.sat4j.pb.constraints.pb.ConflictMapDivideByPivot

G

get(int) - Method in class org.sat4j.pb.constraints.pb.WatchPb: to obtain the i-th literal of the constraint
get(int) - Method in class org.sat4j.pb.constraints.pb.WatchPbLong: to obtain the i-th literal of the constraint
get(int) - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP: to obtain the i-th literal of the constraint
get() - Method in class org.sat4j.pb.reader.OPBReader2005: get the next character from the stream
getActivity() - Method in class org.sat4j.pb.constraints.pb.WatchPb: to obtain the activity value of the constraint
getActivity() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong: to obtain the activity value of the constraint
getActivity() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP: to obtain the activity value of the constraint
getASolution() - Method in class org.sat4j.pb.tools.DependencyHelper: Retrieve a collection of objects satisfying the constraints.
getAssertionLevel(IVecInt, int) - Method in class org.sat4j.pb.constraints.pb.MaxWatchPb
getAssertionLevel(IVecInt, int) - Method in class org.sat4j.pb.constraints.pb.MaxWatchPbLong
getAssertionLevel(IVecInt, int) - Method in class org.sat4j.pb.constraints.pb.MaxWatchPbLongCP
getAssertionLevel(IVecInt, int) - Method in class org.sat4j.pb.constraints.pb.MinWatchPb
getAssertionLevel(IVecInt, int) - Method in class org.sat4j.pb.constraints.pb.MinWatchPbLong
getAssertionLevel(IVecInt, int) - Method in class org.sat4j.pb.constraints.pb.MinWatchPbLongCP
getAssertiveLiteral() - Method in interface org.sat4j.pb.constraints.pb.IDataStructurePB
getAssertiveLiteral() - Method in class org.sat4j.pb.constraints.pb.MapPb
getBacktrackLevel(int) - Method in class org.sat4j.pb.constraints.pb.ConflictMap: computes the level for the backtrack : the highest decision level for which the conflict is assertive.
getBacktrackLevel(int) - Method in interface org.sat4j.pb.constraints.pb.IConflict: retourne le niveau de backtrack : c'est-?
getBooleanValueFor(T) - Method in class org.sat4j.pb.tools.DependencyHelper: Retrieve the boolean value associated with a domain object in the solution found by the solver.
getCardDegree() - Method in interface org.sat4j.pb.constraints.pb.IDataStructurePB
getCardDegree() - Method in class org.sat4j.pb.constraints.pb.MapPb
getCoef(int) - Method in class org.sat4j.pb.constraints.pb.AtLeastPB
getCoef(int) - Method in class org.sat4j.pb.constraints.pb.LearntBinaryClausePB
getCoef(int) - Method in class org.sat4j.pb.constraints.pb.LearntHTClausePB
getCoef(int) - Method in class org.sat4j.pb.constraints.pb.MinWatchCardPB
getCoef(int) - Method in class org.sat4j.pb.constraints.pb.OriginalBinaryClausePB
getCoef(int) - Method in class org.sat4j.pb.constraints.pb.OriginalHTClausePB
getCoef(int) - Method in interface org.sat4j.pb.constraints.pb.PBConstr
getCoef(int) - Method in class org.sat4j.pb.constraints.pb.UnitClausePB
getCoef(int) - Method in class org.sat4j.pb.constraints.pb.UnitClausesPB
getCoef(int) - Method in class org.sat4j.pb.constraints.pb.WatchPb: to obtain the coefficient of the i-th literal of the constraint
getCoef(int) - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
getCoef(int) - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP: to obtain the coefficient of the i-th literal of the constraint
getCoeffs() - Method in class org.sat4j.pb.ObjectiveFunction
getCoeffs() - Method in class org.sat4j.pb.reader.OPBReader2005
getCoefs() - Method in class org.sat4j.pb.constraints.pb.AtLeastPB
getCoefs() - Method in class org.sat4j.pb.constraints.pb.LearntBinaryClausePB
getCoefs() - Method in class org.sat4j.pb.constraints.pb.LearntHTClausePB
getCoefs() - Method in class org.sat4j.pb.constraints.pb.MinWatchCardPB
getCoefs() - Method in class org.sat4j.pb.constraints.pb.OriginalBinaryClausePB
getCoefs() - Method in class org.sat4j.pb.constraints.pb.OriginalHTClausePB
getCoefs() - Method in interface org.sat4j.pb.constraints.pb.PBConstr
getCoefs() - Method in class org.sat4j.pb.constraints.pb.UnitClausePB
getCoefs() - Method in class org.sat4j.pb.constraints.pb.UnitClausesPB
getCoefs() - Method in class org.sat4j.pb.constraints.pb.WatchPb: to obtain the coefficients of the constraint.
getCoefs() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
getCoefs() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP: to obtain the coefficients of the constraint.
getComputedDegree() - Method in class org.sat4j.pb.constraints.pb.InternalMapPBStructure
getConflictFactory() - Method in class org.sat4j.pb.core.PBSolverCP
getCorrection() - Method in class org.sat4j.pb.ObjectiveFunction: Deprecated.
getCorrectionFactor() - Method in class org.sat4j.pb.ObjectiveFunction
getCorrectionOffset() - Method in class org.sat4j.pb.ObjectiveFunction
getCurrentObjectiveValue() - Method in class org.sat4j.pb.OptToPBSATAdapter: Return the value of the objective function in the last model found.
getDegree() - Method in class org.sat4j.pb.constraints.pb.AtLeastPB
getDegree() - Method in interface org.sat4j.pb.constraints.pb.IDataStructurePB
getDegree() - Method in class org.sat4j.pb.constraints.pb.LearntBinaryClausePB
getDegree() - Method in class org.sat4j.pb.constraints.pb.LearntHTClausePB
getDegree() - Method in class org.sat4j.pb.constraints.pb.MapPb
getDegree() - Method in class org.sat4j.pb.constraints.pb.MinWatchCardPB
getDegree() - Method in class org.sat4j.pb.constraints.pb.OriginalBinaryClausePB
getDegree() - Method in class org.sat4j.pb.constraints.pb.OriginalHTClausePB
getDegree() - Method in interface org.sat4j.pb.constraints.pb.PBConstr
getDegree() - Method in class org.sat4j.pb.constraints.pb.UnitClausePB
getDegree() - Method in class org.sat4j.pb.constraints.pb.UnitClausesPB
getDegree() - Method in class org.sat4j.pb.constraints.pb.WatchPb
getDegree() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
getDegree() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
getDegree() - Method in class org.sat4j.pb.tools.AtLeastCard
getDegree() - Method in class org.sat4j.pb.tools.AtMostCard
getDescription() - Method in enum org.sat4j.pb.constraints.pb.SkipStrategy
getExplanation() - Method in class org.sat4j.pb.LPStringSolver
getExplanation() - Method in class org.sat4j.pb.OPBStringSolver
getExplanation() - Method in class org.sat4j.pb.UserFriendlyPBStringSolver
getInstanceName(String[]) - Method in class org.sat4j.pb.LanceurPseudo2005
getIntegerVarValue(IntegerVariable) - Method in class org.sat4j.pb.core.IntegerPBSolverDecorator
getIntegerVarValue(IntegerVariable) - Method in interface org.sat4j.pb.IIntegerPBSolver
getIntegerVarValue(IntegerVariable) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
getIntegerVarValue(IntegerVariable) - Method in class org.sat4j.pb.tools.ManyCoreIntegerPB
getIntValue(T) - Method in class org.sat4j.pb.tools.DependencyHelper: Translate a domain object into a dimacs variable.
getIntValue(T, boolean) - Method in class org.sat4j.pb.tools.DependencyHelper: Translate a domain object into a dimacs variable.
getListOfVariables() - Method in class org.sat4j.pb.reader.OPBEclipseReader2007
getListOfVariables() - Method in class org.sat4j.pb.reader.OPBReader2005
getLits() - Method in class org.sat4j.pb.constraints.pb.AtLeastPB
getLits() - Method in interface org.sat4j.pb.constraints.pb.PBConstr
getLits() - Method in class org.sat4j.pb.constraints.pb.UnitClausePB
getLits() - Method in class org.sat4j.pb.constraints.pb.UnitClausesPB
getLits() - Method in class org.sat4j.pb.constraints.pb.WatchPb: to obtain the literals of the constraint.
getLits() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong: to obtain the literals of the constraint.
getLits() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP: to obtain the literals of the constraint.
getLits() - Method in class org.sat4j.pb.tools.AtLeastCard
getLits() - Method in class org.sat4j.pb.tools.AtMostCard
getLogPrefix() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
getLogPrefix() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
getLongCoefs() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
getMapping() - Method in class org.sat4j.pb.reader.OPBReader2005
getMappingToDomain() - Method in class org.sat4j.pb.tools.DependencyHelper
getNormalizer() - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory
getNumberOfConstraints() - Method in class org.sat4j.pb.tools.DependencyHelper
getNumberOfCP() - Method in class org.sat4j.pb.core.PBSolverStats
getNumberOfCuttingPlanesCardinalities() - Method in class org.sat4j.pb.constraints.pb.MapPb
getNumberOfDerivationSteps() - Method in class org.sat4j.pb.core.PBSolverStats
getNumberOfEasyRoundingOperations() - Method in class org.sat4j.pb.core.PBSolverStats
getNumberOfEndingSkipping() - Method in class org.sat4j.pb.core.PBSolverStats
getNumberOfInternalSkipping() - Method in class org.sat4j.pb.core.PBSolverStats
getNumberOfLearnedConstraintsReduced() - Method in class org.sat4j.pb.core.PBSolverStats
getNumberOfReductions() - Method in class org.sat4j.pb.constraints.pb.ConflictMap
getNumberOfReductions() - Method in class org.sat4j.pb.core.PBSolverStats
getNumberOfReductionsByGCD() - Method in class org.sat4j.pb.core.PBSolverStats
getNumberOfReductionsByPower2() - Method in class org.sat4j.pb.core.PBSolverStats
getNumberOfRemainingAssigned() - Method in class org.sat4j.pb.core.PBSolverStats
getNumberOfRemainingUnassigned() - Method in class org.sat4j.pb.core.PBSolverStats
getNumberOfResolution() - Method in class org.sat4j.pb.core.PBSolverStats
getNumberOfRightShiftsForCoeffs() - Method in class org.sat4j.pb.core.PBSolverStats
getNumberOfRoundingOperations() - Method in class org.sat4j.pb.core.PBSolverStats
getNumberOfVariables() - Method in class org.sat4j.pb.tools.DependencyHelper
getObjectiveFunction() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
getObjectiveFunction() - Method in class org.sat4j.pb.core.PBSolver
getObjectiveFunction() - Method in class org.sat4j.pb.GroupPBSelectorSolver
getObjectiveFunction() - Method in interface org.sat4j.pb.IPBSolver: Retrieve the objective function from the solver.
getObjectiveFunction() - Method in interface org.sat4j.pb.IPBSolverService
getObjectiveFunction() - Method in class org.sat4j.pb.LPStringSolver
getObjectiveFunction() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
getObjectiveFunction() - Method in class org.sat4j.pb.OPBStringSolver
getObjectiveFunction() - Method in class org.sat4j.pb.PBSolverDecorator
getObjectiveFunction() - Method in class org.sat4j.pb.reader.OPBReader2005
getObjectiveFunction() - Method in class org.sat4j.pb.reader.OPBReader2012
getObjectiveFunction() - Method in class org.sat4j.pb.tools.ClausalConstraintsDecorator
getObjectiveFunction() - Method in class org.sat4j.pb.tools.DependencyHelper
getObjectiveFunction() - Method in class org.sat4j.pb.tools.LexicoDecoratorPB
getObjectiveFunction() - Method in class org.sat4j.pb.tools.ManyCorePB
getObjectiveFunction() - Method in class org.sat4j.pb.tools.PBAdapter
getObjectiveFunction() - Method in class org.sat4j.pb.tools.XplainPB
getObjectiveFunction() - Method in class org.sat4j.pb.UserFriendlyPBStringSolver
getObjectiveValue() - Method in class org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator
getObjectiveValue() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
getObjectiveValue() - Method in class org.sat4j.pb.PBSolverHandle
getObjectiveValue() - Method in class org.sat4j.pb.PseudoOptDecorator
getObjectiveValues() - Method in class org.sat4j.pb.multiobjective.AbstractLinMultiObjOptimizer: Return the objective functions values through the last model found.
getObjectiveValues() - Method in interface org.sat4j.pb.multiobjective.IMultiObjOptimizationProblem
getObjectiveValues() - Method in class org.sat4j.pb.multiobjective.LeximinDecorator
getObjectiveValues() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
getObjMinBound() - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
getOptimums() - Method in class org.sat4j.pb.multiobjective.CriterionOptimumComputer: Allow user to get optimum values.
getOriginInModel(int) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
getOriginInModel(int) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
getPostprocess() - Method in class org.sat4j.pb.core.PBSolverCP
getReservedPrefixes() - Method in class org.sat4j.pb.reader.PBInstanceReader
getSearchListener() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
getSearchListener() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
getSearchListener() - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
getSolution() - Method in class org.sat4j.pb.tools.DependencyHelper: Retrieve the solution found.
getSolutionCost() - Method in class org.sat4j.pb.tools.DependencyHelper
getSolver() - Method in class org.sat4j.pb.tools.DependencyHelper
getSolvers() - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
getSolvingEngine() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
getSolvingEngine() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
getStat() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
getStat() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
getStat() - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
getSumCoefs() - Method in class org.sat4j.pb.constraints.pb.AtLeastPB
getSumCoefs() - Method in class org.sat4j.pb.constraints.pb.LearntBinaryClausePB
getSumCoefs() - Method in class org.sat4j.pb.constraints.pb.LearntHTClausePB
getSumCoefs() - Method in class org.sat4j.pb.constraints.pb.MinWatchCardPB
getSumCoefs() - Method in class org.sat4j.pb.constraints.pb.OriginalBinaryClausePB
getSumCoefs() - Method in class org.sat4j.pb.constraints.pb.OriginalHTClausePB
getSumCoefs() - Method in interface org.sat4j.pb.constraints.pb.PBConstr
getSumCoefs() - Method in class org.sat4j.pb.constraints.pb.UnitClausePB
getSumCoefs() - Method in class org.sat4j.pb.constraints.pb.UnitClausesPB
getSumCoefs() - Method in class org.sat4j.pb.constraints.pb.WatchPb
getSumCoefs() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
getSumCoefs() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
getTimeout() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
getTimeout() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
getTimeoutMs() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
getTimeoutMs() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
getTimer() - Method in class org.sat4j.pb.lcds.NullLCDS
getUpperBound() - Static method in class org.sat4j.pb.constraints.pb.ConflictMapSwitchToClause
getVars() - Method in class org.sat4j.pb.core.IntegerVariable
getVars() - Method in class org.sat4j.pb.ObjectiveFunction
getVars() - Method in class org.sat4j.pb.reader.OPBReader2005
getVocabulary() - Method in class org.sat4j.pb.constraints.pb.AtLeastPB
getVocabulary() - Method in interface org.sat4j.pb.constraints.pb.PBConstr
getVocabulary() - Method in class org.sat4j.pb.constraints.pb.UnitClausePB
getVocabulary() - Method in class org.sat4j.pb.constraints.pb.UnitClausesPB
getVocabulary() - Method in class org.sat4j.pb.constraints.pb.WatchPb
getVocabulary() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
getVocabulary() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
getWeakeningStrategy() - Method in class org.sat4j.pb.core.PBSolverCP
getWeight() - Method in class org.sat4j.pb.tools.WeightedObject
GroupPBSelectorSolver - Class in org.sat4j.pb
GroupPBSelectorSolver(IPBSolver) - Constructor for class org.sat4j.pb.GroupPBSelectorSolver
GrowingCoefficientRestarts - Class in org.sat4j.pb.restarts
GrowingCoefficientRestarts() - Constructor for class org.sat4j.pb.restarts.GrowingCoefficientRestarts

H

halfOr(C, T, T...) - Method in class org.sat4j.pb.tools.DependencyHelper: Create a constraint of the form thing <= (thing1 or thing 2 ... or thingn)
handleConflict(IConstr) - Method in class org.sat4j.pb.tools.InprocCardConstrLearningSolver
handleFileName(String, String) - Method in class org.sat4j.pb.reader.PBInstanceReader
handleNotHandled(String) - Method in class org.sat4j.pb.reader.JSONPBReader
hasAMapping() - Method in class org.sat4j.pb.reader.OPBReader2005
hasASolution() - Method in class org.sat4j.pb.tools.AbstractLexicoHelper
hasASolution(IVec<T>) - Method in class org.sat4j.pb.tools.AbstractLexicoHelper
hasASolution(Collection<T>) - Method in class org.sat4j.pb.tools.AbstractLexicoHelper
hasASolution() - Method in class org.sat4j.pb.tools.DependencyHelper
hasASolution(IVec<T>) - Method in class org.sat4j.pb.tools.DependencyHelper
hasASolution(Collection<T>) - Method in class org.sat4j.pb.tools.DependencyHelper
hasASolution() - Method in class org.sat4j.pb.tools.LinMultiObjHelper
hasASolution(IVec<T>) - Method in class org.sat4j.pb.tools.LinMultiObjHelper
hasASolution(Collection<T>) - Method in class org.sat4j.pb.tools.LinMultiObjHelper
hasBeenReduced - Variable in class org.sat4j.pb.constraints.pb.ConflictMap
hasBeenReduced() - Method in class org.sat4j.pb.constraints.pb.ConflictMap
hashCode() - Method in class org.sat4j.pb.constraints.pb.WatchPb
hashCode() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
hashCode() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
hashCode() - Method in class org.sat4j.pb.ObjectiveFunction
hashCode() - Method in class org.sat4j.pb.tools.AtLeastCard
hashCode() - Method in class org.sat4j.pb.tools.WeightedObject
hasNext() - Method in class org.sat4j.pb.tools.CardConstrFinder
hasNext() - Method in class org.sat4j.pb.tools.CombinationIterator
hasNoObjectiveFunction() - Method in class org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator
hasNoObjectiveFunction() - Method in class org.sat4j.pb.multiobjective.AbstractLinMultiObjOptimizer
hasNoObjectiveFunction() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
hasNoObjectiveFunction() - Method in class org.sat4j.pb.PBSolverHandle
hasNoObjectiveFunction() - Method in class org.sat4j.pb.PseudoOptDecorator
hasObjectiveFunction() - Method in class org.sat4j.pb.reader.PBInstanceReader
hasObjFunc - Variable in class org.sat4j.pb.reader.OPBReader2005
hasVariablesExplanation - Variable in class org.sat4j.pb.reader.OPBReader2005

I

IBumper - Interface in org.sat4j.pb.orders
ICardConstructor - Interface in org.sat4j.pb.constraints
IClauseConstructor - Interface in org.sat4j.pb.constraints
IConflict - Interface in org.sat4j.pb.constraints.pb
IConflictFactory - Interface in org.sat4j.pb.constraints.pb
IDataStructurePB - Interface in org.sat4j.pb.constraints.pb
iff(C, T, T...) - Method in class org.sat4j.pb.tools.DependencyHelper: Create a constraint using equivalency chains thing <=> (thing1 <=> thing2 <=> ... <=> thingn)
ifThenElse(C, T, T, T, T) - Method in class org.sat4j.pb.tools.DependencyHelper: Create a constraint of the form thing <=> (if conditionThing then thenThing else elseThing)
IgnoreUnassignedLiteralsLBDComputerStrategy - Class in org.sat4j.pb.lcds
IgnoreUnassignedLiteralsLBDComputerStrategy() - Constructor for class org.sat4j.pb.lcds.IgnoreUnassignedLiteralsLBDComputerStrategy
IGroupPBSolver - Interface in org.sat4j.pb
IIntegerPBSolver - Interface in org.sat4j.pb: A PBSolver which implements this interface must be able to handle bounded positive integer variables.
ILBDComputerStrategy - Interface in org.sat4j.pb.lcds
implication(T...) - Method in class org.sat4j.pb.tools.DependencyHelper: Create a logical implication of the form lhs -> rhs
ImplicationAnd<T,C> - Class in org.sat4j.pb.tools: That class is used to represent a conjunction of literals in the RHS of an implication.
ImplicationAnd(DependencyHelper<T, C>, IVecInt) - Constructor for class org.sat4j.pb.tools.ImplicationAnd
ImplicationNamer<T,C> - Class in org.sat4j.pb.tools: That class is used to associate each constraint with another object that must be used to represent it in an explanation.
ImplicationNamer(DependencyHelper<T, C>, IVec<IConstr>) - Constructor for class org.sat4j.pb.tools.ImplicationNamer
ImplicationRHS<T,C> - Class in org.sat4j.pb.tools: That class represents the RHS of an implication.
ImplicationRHS(DependencyHelper<T, C>, IVecInt) - Constructor for class org.sat4j.pb.tools.ImplicationRHS
impliedBy(Collection<T>, Collection<T>, Collection<T>) - Method in class org.sat4j.pb.tools.DependencyHelper: Compute the objects implied by the assumptions.
implies(T...) - Method in class org.sat4j.pb.tools.DisjunctionRHS
implies(T) - Method in class org.sat4j.pb.tools.ImplicationRHS: Build an implication with a conjunction of literals in the RHS.
implies(T...) - Method in class org.sat4j.pb.tools.ImplicationRHS: Build an implication with a disjunction of literals in the RHS.
impliesNot(T) - Method in class org.sat4j.pb.tools.ImplicationRHS: Build an implication with a conjunction of literals in the RHS.
IMultiObjOptimizationProblem - Interface in org.sat4j.pb.multiobjective: A solver which implements this interface must be able to handle multiple objective functions.
in - Variable in class org.sat4j.pb.reader.OPBReader2005
incActivity(double) - Method in class org.sat4j.pb.constraints.pb.WatchPb: increase activity value of the constraint
incActivity(double) - Method in class org.sat4j.pb.constraints.pb.WatchPbLong: increase activity value of the constraint
incActivity(double) - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP: increase activity value of the constraint
incFalsifiedLiteralsRemovedFromConflict() - Method in class org.sat4j.pb.core.PBSolverStats
incFalsifiedLiteralsRemovedFromReason() - Method in class org.sat4j.pb.core.PBSolverStats
incNbRemoved() - Method in class org.sat4j.pb.core.PBSolverStats
incNumberOfCP() - Method in class org.sat4j.pb.core.PBSolverStats
incNumberOfDerivationSteps() - Method in class org.sat4j.pb.core.PBSolverStats
incNumberOfEasyRoundingOperations() - Method in class org.sat4j.pb.core.PBSolverStats
incNumberOfEndingSkipping() - Method in class org.sat4j.pb.core.PBSolverStats
incNumberOfInternalSkipping() - Method in class org.sat4j.pb.core.PBSolverStats
incNumberOfLearnedConstraintsReduced() - Method in class org.sat4j.pb.core.PBSolverStats
incNumberOfReductions(long) - Method in class org.sat4j.pb.core.PBSolverStats
incNumberOfReductionsByGCD() - Method in class org.sat4j.pb.core.PBSolverStats
incNumberOfReductionsByPower2() - Method in class org.sat4j.pb.core.PBSolverStats
incNumberOfRemainingAssigned() - Method in class org.sat4j.pb.core.PBSolverStats
incNumberOfRemainingUnassigned() - Method in class org.sat4j.pb.core.PBSolverStats
incNumberOfResolution() - Method in class org.sat4j.pb.core.PBSolverStats
incNumberOfRightShiftsForCoeffs(int) - Method in class org.sat4j.pb.core.PBSolverStats
incNumberOfRoundingOperations() - Method in class org.sat4j.pb.core.PBSolverStats
increaseWeight(BigInteger) - Method in class org.sat4j.pb.tools.WeightedObject
incTimeForArithmeticOperations(long) - Method in class org.sat4j.pb.core.PBSolverStats
INegator - Interface in org.sat4j.pb.tools
init(int) - Method in class org.sat4j.pb.lcds.AbstractLBDComputerStrategy
init(int) - Method in class org.sat4j.pb.lcds.DegreeLBDComputerStrategy
init(int) - Method in class org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy
init(int) - Method in interface org.sat4j.pb.lcds.ILBDComputerStrategy
init(int) - Method in class org.sat4j.pb.lcds.LBDComputerStrategyDecorator
init() - Method in class org.sat4j.pb.lcds.NullLCDS
init() - Method in class org.sat4j.pb.lcds.PBGlucoseLCDS
init(int) - Method in class org.sat4j.pb.lcds.RatioCoefficientsDegreeLBDComputerStrategy
init(int) - Method in class org.sat4j.pb.lcds.SlackLBDComputerStrategy
init() - Method in class org.sat4j.pb.orders.LevelBasedVarOrderHeapObjective
init() - Method in class org.sat4j.pb.orders.VarOrderHeapObjective
init(SearchParams, SolverStats) - Method in class org.sat4j.pb.restarts.GrowingCoefficientRestarts
init(SearchParams, SolverStats) - Method in class org.sat4j.pb.restarts.MixedRestartsStrategy
init() - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
init(IPBSolverService) - Method in class org.sat4j.pb.tools.SearchOptimizerListener
initConstraintsSet - Variable in class org.sat4j.pb.multiobjective.AbstractLinMultiObjOptimizer
initNumberOfClauses() - Method in class org.sat4j.pb.tools.CardConstrFinder
InprocCardConstrLearningSolver - Class in org.sat4j.pb.tools
InprocCardConstrLearningSolver(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.tools.InprocCardConstrLearningSolver
InprocCardConstrLearningSolver(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder) - Constructor for class org.sat4j.pb.tools.InprocCardConstrLearningSolver
InprocCardConstrLearningSolver(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.tools.InprocCardConstrLearningSolver
InprocCardConstrLearningSolver(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.tools.InprocCardConstrLearningSolver
InprocCardConstrLearningSolver(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy) - Constructor for class org.sat4j.pb.tools.InprocCardConstrLearningSolver
InprocCardConstrLearningSolver(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder) - Constructor for class org.sat4j.pb.tools.InprocCardConstrLearningSolver
instance() - Static method in class org.sat4j.pb.constraints.pb.NoPostProcess
instance() - Static method in class org.sat4j.pb.constraints.pb.NoPreProcess
instance() - Static method in class org.sat4j.pb.constraints.pb.NoReduceConflict
instance() - Static method in class org.sat4j.pb.constraints.pb.PostProcessDivideBy2
instance() - Static method in class org.sat4j.pb.constraints.pb.PostProcessDivideByGCD
instance() - Static method in class org.sat4j.pb.constraints.pb.PostProcessToCard
instance() - Static method in class org.sat4j.pb.constraints.pb.PostProcessToClause
instance() - Static method in class org.sat4j.pb.constraints.pb.ReduceConflict
instance() - Static method in class org.sat4j.pb.SolverFactory: Access to the single instance of the factory.
INSTANCE - Static variable in class org.sat4j.pb.tools.StringNegator
instanceWithFalsified() - Static method in class org.sat4j.pb.constraints.pb.PreProcessReduceConflict
instanceWithoutFalsified() - Static method in class org.sat4j.pb.constraints.pb.PreProcessReduceConflict
IntegerPBSolverDecorator - Class in org.sat4j.pb.core: A PBSolver decorator which allow a PBSolver to handle integer variables.
IntegerPBSolverDecorator(IPBSolver) - Constructor for class org.sat4j.pb.core.IntegerPBSolverDecorator
integerSolver - Variable in class org.sat4j.pb.multiobjective.AbstractLinMultiObjOptimizer
IntegerVariable - Class in org.sat4j.pb.core: Handle bounded positive integer variables through a binary decomposition.
IntegerVariable(IVecInt) - Constructor for class org.sat4j.pb.core.IntegerVariable
InternalMapPBStructure - Class in org.sat4j.pb.constraints.pb
IOrderObjective - Interface in org.sat4j.pb.orders
IPBCDCLSolver<D extends PBDataStructureFactory> - Interface in org.sat4j.pb.core: Abstraction for Conflict Driven Clause Learning PBSolver.
IPBConstructor - Interface in org.sat4j.pb.constraints
IPBSolver - Interface in org.sat4j.pb: A solver able to deal with pseudo boolean constraints.
IPBSolverService - Interface in org.sat4j.pb
IPostProcess - Interface in org.sat4j.pb.constraints.pb: Interface to post-process the assertive conflict, e.g. to convert it to a clause, to a cardinality.
IPreProcess - Interface in org.sat4j.pb.constraints.pb
IReduceConflictStrategy - Interface in org.sat4j.pb.constraints.pb
IRemoveSatisfiedLiterals - Interface in org.sat4j.pb.constraints.pb
isAssertive(int) - Method in class org.sat4j.pb.constraints.pb.ConflictMap: change the currentLevel of the conflict to a new decision level and tests if the conflict is assertive (allows to imply a literal) at this new decision level
isAssertive(int) - Method in interface org.sat4j.pb.constraints.pb.IConflict
isAssertive(int) - Method in class org.sat4j.pb.constraints.pb.WatchPb: This predicate tests wether the constraint is assertive at decision level dl
isAssertive(int) - Method in class org.sat4j.pb.constraints.pb.WatchPbLong: This predicate tests wether the constraint is assertive at decision level dl
isAssertive(int) - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP: This predicate tests wether the constraint is assertive at decision level dl
isCardinality() - Method in interface org.sat4j.pb.constraints.pb.IDataStructurePB
isCardinality() - Method in class org.sat4j.pb.constraints.pb.MapPb
isCardinality(IVecInt) - Static method in class org.sat4j.pb.tools.ClausalConstraintsDecorator
isCardinality(IVec<BigInteger>) - Static method in class org.sat4j.pb.tools.ClausalConstraintsDecorator
isDBSimplificationAllowed() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
isDBSimplificationAllowed() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
isFull() - Method in class org.sat4j.pb.restarts.BigIntegerCircularBuffer
isGoodFirstCharacter(char) - Method in class org.sat4j.pb.reader.OPBReader2005
isGoodFirstCharacter(char) - Method in class org.sat4j.pb.reader.OPBReader2007
isGoodFollowingCharacter(char) - Method in class org.sat4j.pb.reader.OPBReader2005
isLongSufficient() - Method in interface org.sat4j.pb.constraints.pb.IDataStructurePB
isLongSufficient() - Method in class org.sat4j.pb.constraints.pb.MapPb
isNegated(Object) - Method in interface org.sat4j.pb.tools.INegator
isNegated(Object) - Method in class org.sat4j.pb.tools.StringNegator
isNoRemove() - Method in class org.sat4j.pb.core.PBSolverCP
isOptimal() - Method in class org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator
isOptimal() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
isOptimal() - Method in class org.sat4j.pb.OptToPBSATAdapter
isOptimal() - Method in class org.sat4j.pb.PBSolverHandle
isOptimal() - Method in class org.sat4j.pb.PseudoOptDecorator
isOptimal() - Method in class org.sat4j.pb.tools.AbstractLexicoHelper
isOptimal() - Method in class org.sat4j.pb.tools.LinMultiObjHelper
isSatisfiable() - Method in class org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator
isSatisfiable(boolean) - Method in class org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator
isSatisfiable(IVecInt, boolean) - Method in class org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator
isSatisfiable(IVecInt) - Method in class org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator
isSatisfiable() - Method in class org.sat4j.pb.constraints.pb.WatchPb: tests if the constraint is still satisfiable.
isSatisfiable() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong: tests if the constraint is still satisfiable.
isSatisfiable() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP: tests if the constraint is still satisfiable.
isSatisfiable() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
isSatisfiable(IVecInt, boolean) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
isSatisfiable(boolean) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
isSatisfiable(IVecInt) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
isSatisfiable(IVecInt) - Method in class org.sat4j.pb.LPStringSolver
isSatisfiable() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
isSatisfiable(IVecInt, boolean) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
isSatisfiable(boolean) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
isSatisfiable(IVecInt) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
isSatisfiable(IVecInt) - Method in class org.sat4j.pb.OPBStringSolver
isSatisfiable() - Method in class org.sat4j.pb.OptToPBSATAdapter
isSatisfiable(boolean) - Method in class org.sat4j.pb.OptToPBSATAdapter
isSatisfiable(IVecInt, boolean) - Method in class org.sat4j.pb.OptToPBSATAdapter
isSatisfiable(IVecInt) - Method in class org.sat4j.pb.OptToPBSATAdapter
isSatisfiable() - Method in class org.sat4j.pb.PseudoOptDecorator
isSatisfiable(boolean) - Method in class org.sat4j.pb.PseudoOptDecorator
isSatisfiable(IVecInt, boolean) - Method in class org.sat4j.pb.PseudoOptDecorator
isSatisfiable(IVecInt) - Method in class org.sat4j.pb.PseudoOptDecorator
isSatisfiable() - Method in class org.sat4j.pb.tools.OptimalModelIterator
isSatisfiable(IVecInt) - Method in class org.sat4j.pb.tools.OptimalModelIterator
isSatisfiable() - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
isSatisfiable(IVecInt, boolean) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
isSatisfiable(boolean) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
isSatisfiable(IVecInt) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
isSatisfied() - Method in class org.sat4j.pb.constraints.pb.WatchPb
isSatisfied() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
isSatisfied() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
isSkipAllow() - Method in class org.sat4j.pb.core.PBSolverCP
isSolverKeptHot() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
isSolverKeptHot() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
isUnsat() - Method in class org.sat4j.pb.constraints.pb.ConflictMap: tests if the conflict is unsatisfiable
isUnsat() - Method in interface org.sat4j.pb.constraints.pb.IConflict
isVerbose() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
isVerbose() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
iterator() - Method in class org.sat4j.pb.tools.CardConstrFinder
iterator() - Method in class org.sat4j.pb.tools.CombinationIterator
IWatchPb - Interface in org.sat4j.pb.constraints.pb
IWeakeningStrategy - Interface in org.sat4j.pb.constraints.pb: Strategy used to reduce a PB constraint before applying the canceling addition operation.

J

JSONPBReader - Class in org.sat4j.pb.reader: Simple JSON reader for boolean optimization problems.
JSONPBReader(IPBSolver) - Constructor for class org.sat4j.pb.reader.JSONPBReader

L

LanceurPseudo2005 - Class in org.sat4j.pb: Launcher especially dedicated to the pseudo boolean 05 evaluation (@link http://www.cril.univ-artois.fr/PB05/).
LanceurPseudo2005() - Constructor for class org.sat4j.pb.LanceurPseudo2005
LanceurPseudo2007 - Class in org.sat4j.pb: Launcher for the Pseudo Boolean 2007 competition.
LanceurPseudo2007() - Constructor for class org.sat4j.pb.LanceurPseudo2007
LanceurPseudo2007(ASolverFactory<IPBSolver>) - Constructor for class org.sat4j.pb.LanceurPseudo2007
LanceurPseudo2007Eclipse - Class in org.sat4j.pb
LanceurPseudo2007Eclipse() - Constructor for class org.sat4j.pb.LanceurPseudo2007Eclipse
LBDComputerStrategyDecorator - Class in org.sat4j.pb.lcds
LBDComputerStrategyDecorator(ILBDComputerStrategy) - Constructor for class org.sat4j.pb.lcds.LBDComputerStrategyDecorator
learn(IConstr) - Method in class org.sat4j.pb.tools.ConflictTracing
learnt() - Method in class org.sat4j.pb.constraints.pb.AtLeastPB: D?
learnt() - Method in class org.sat4j.pb.constraints.pb.MinWatchCardPB: D?
learnt - Variable in class org.sat4j.pb.constraints.pb.WatchPb: true if the constraint is a learned constraint
learnt() - Method in class org.sat4j.pb.constraints.pb.WatchPb: is the constraint a learnt constraint ?
learnt - Variable in class org.sat4j.pb.constraints.pb.WatchPbLong: true if the constraint is a learned constraint
learnt() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong: is the constraint a learnt constraint ?
learnt - Variable in class org.sat4j.pb.constraints.pb.WatchPbLongCP: true if the constraint is a learned constraint
learnt() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP: is the constraint a learnt constraint ?
learntAtLeastConstraintFactory(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
learntAtLeastConstraintFactory(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory
learntAtLeastConstraintFactory(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.constraints.PBMaxDataStructure
learntAtLeastConstraintFactory(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.constraints.PBMinDataStructure
learntAtLeastConstraintFactory(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.constraints.PuebloPBMinDataStructure
learntAtMostConstraintFactory(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
learntAtMostConstraintFactory(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory
learntAtMostConstraintFactory(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.constraints.PBMaxDataStructure
learntAtMostConstraintFactory(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.constraints.PBMinDataStructure
learntAtMostConstraintFactory(IVecInt, IVec<BigInteger>, BigInteger) - Method in class org.sat4j.pb.constraints.PuebloPBMinDataStructure
LearntBinaryClausePB - Class in org.sat4j.pb.constraints.pb
LearntBinaryClausePB(IVecInt, ILits) - Constructor for class org.sat4j.pb.constraints.pb.LearntBinaryClausePB
learntConstraintFactory(IDataStructurePB) - Method in class org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
learntConstraintFactory(IDataStructurePB) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory
learntConstraintFactory(IDataStructurePB) - Method in class org.sat4j.pb.constraints.PBMaxDataStructure
learntConstraintFactory(IDataStructurePB) - Method in class org.sat4j.pb.constraints.PBMinDataStructure
learntConstraintFactory(IDataStructurePB) - Method in class org.sat4j.pb.constraints.PuebloPBMinDataStructure
LearntHTClausePB - Class in org.sat4j.pb.constraints.pb
LearntHTClausePB(IVecInt, ILits) - Constructor for class org.sat4j.pb.constraints.pb.LearntHTClausePB
LevelBasedVarOrderHeapObjective - Class in org.sat4j.pb.orders
LevelBasedVarOrderHeapObjective() - Constructor for class org.sat4j.pb.orders.LevelBasedVarOrderHeapObjective
LevelBasedVarOrderHeapObjective(IPhaseSelectionStrategy) - Constructor for class org.sat4j.pb.orders.LevelBasedVarOrderHeapObjective
LexicoDecoratorPB - Class in org.sat4j.pb.tools
LexicoDecoratorPB(IPBSolver) - Constructor for class org.sat4j.pb.tools.LexicoDecoratorPB
LexicoHelper<T,C> - Class in org.sat4j.pb.tools
LexicoHelper(IPBSolver) - Constructor for class org.sat4j.pb.tools.LexicoHelper
LexicoHelper(IPBSolver, boolean, boolean) - Constructor for class org.sat4j.pb.tools.LexicoHelper
LexicoHelper(IPBSolver, boolean) - Constructor for class org.sat4j.pb.tools.LexicoHelper
LeximinDecorator - Class in org.sat4j.pb.multiobjective
LeximinDecorator(IIntegerPBSolver) - Constructor for class org.sat4j.pb.multiobjective.LeximinDecorator
LeximinHelper<T,C> - Class in org.sat4j.pb.tools
LeximinHelper(IIntegerPBSolver) - Constructor for class org.sat4j.pb.tools.LeximinHelper
LeximinHelper(IIntegerPBSolver, boolean, boolean) - Constructor for class org.sat4j.pb.tools.LeximinHelper
LeximinHelper(IIntegerPBSolver, boolean) - Constructor for class org.sat4j.pb.tools.LeximinHelper
lightSolver() - Method in class org.sat4j.pb.SolverFactory
LIMIT_FOR_MAP - Static variable in class org.sat4j.pb.constraints.pb.MaxWatchPb
LinMultiObjHelper<T,C> - Class in org.sat4j.pb.tools
LinMultiObjHelper(IMultiObjOptimizationProblem) - Constructor for class org.sat4j.pb.tools.LinMultiObjHelper
LinMultiObjHelper(IMultiObjOptimizationProblem, boolean) - Constructor for class org.sat4j.pb.tools.LinMultiObjHelper
LinMultiObjHelper(IMultiObjOptimizationProblem, boolean, boolean) - Constructor for class org.sat4j.pb.tools.LinMultiObjHelper
literalInAProduct(String, IVecInt) - Method in class org.sat4j.pb.reader.OPBReader2007: callback called when we read a term of a constraint
lits - Variable in class org.sat4j.pb.constraints.pb.WatchPb: literals of the constraint
lits - Variable in class org.sat4j.pb.constraints.pb.WatchPbLong: literals of the constraint
lits - Variable in class org.sat4j.pb.constraints.pb.WatchPbLongCP: literals of the constraint
lits - Variable in class org.sat4j.pb.reader.OPBReader2005
lock - Variable in class org.sat4j.pb.multiobjective.CriterionOptimumComputer
locked() - Method in class org.sat4j.pb.constraints.pb.WatchPb: The constraint is the reason of a unit propagation.
locked() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong: The constraint is the reason of a unit propagation.
locked() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP: The constraint is the reason of a unit propagation.
LPStringSolver - Class in org.sat4j.pb: Solver used to display in a string the pb-instance in OPB format.
LPStringSolver(int) - Constructor for class org.sat4j.pb.LPStringSolver

M

main(String[]) - Static method in class org.sat4j.pb.CardConstrLearningSolverLauncher: Deprecated.
main(String[]) - Static method in class org.sat4j.pb.LanceurPseudo2005: Lance le prouveur sur un fichier Dimacs
main(String[]) - Static method in class org.sat4j.pb.LanceurPseudo2007: Lance le prouveur sur un fichier Dimacs
main(String[]) - Static method in class org.sat4j.pb.LanceurPseudo2007Eclipse: Lance le prouveur sur un fichier Dimacs
main(String[]) - Static method in class org.sat4j.pb.tools.DimacsToOpb
main(String[]) - Static method in class org.sat4j.pb.tools.OpbToDimacs
main(String[]) - Static method in class org.sat4j.pb.tools.OpbToDimacsWriter
ManyCoreIntegerPB<S extends IIntegerPBSolver> - Class in org.sat4j.pb.tools
ManyCoreIntegerPB(ASolverFactory<S>, String...) - Constructor for class org.sat4j.pb.tools.ManyCoreIntegerPB
ManyCoreIntegerPB(S...) - Constructor for class org.sat4j.pb.tools.ManyCoreIntegerPB
ManyCorePB<S extends IPBSolver> - Class in org.sat4j.pb.tools
ManyCorePB(ASolverFactory<S>, String...) - Constructor for class org.sat4j.pb.tools.ManyCorePB
ManyCorePB(S...) - Constructor for class org.sat4j.pb.tools.ManyCorePB
MapPb - Class in org.sat4j.pb.constraints.pb
MapPb(IVecInt, IVec<BigInteger>, BigInteger) - Constructor for class org.sat4j.pb.constraints.pb.MapPb
MAXCONFLICTS - Static variable in class org.sat4j.pb.core.PBSolverResCP
maximalCoefficient(int) - Method in class org.sat4j.pb.constraints.pb.MinWatchPb: the maximal coefficient for the watched literals
maximalCoefficient(int) - Method in class org.sat4j.pb.constraints.pb.MinWatchPbLong: the maximal coefficient for the watched literals
maximalCoefficient(int) - Method in class org.sat4j.pb.constraints.pb.MinWatchPbLongCP: the maximal coefficient for the watched literals
maximalCoefficient(int) - Method in class org.sat4j.pb.constraints.pb.PuebloMinWatchPb
MaxLongWatchPBConstructor - Class in org.sat4j.pb.constraints
MaxLongWatchPBConstructor() - Constructor for class org.sat4j.pb.constraints.MaxLongWatchPBConstructor
MaxLongWatchPBCPConstructor - Class in org.sat4j.pb.constraints
MaxLongWatchPBCPConstructor() - Constructor for class org.sat4j.pb.constraints.MaxLongWatchPBCPConstructor
MAXVALUE - Static variable in class org.sat4j.pb.constraints.pb.ConflictMapReduceToCard
MAXVALUE - Static variable in class org.sat4j.pb.constraints.pb.ConflictMapReduceToClause
MaxWatchPb - Class in org.sat4j.pb.constraints.pb: Data structure for pseudo-boolean constraint with watched literals.
MaxWatchPBConstructor - Class in org.sat4j.pb.constraints
MaxWatchPBConstructor() - Constructor for class org.sat4j.pb.constraints.MaxWatchPBConstructor
MaxWatchPbLong - Class in org.sat4j.pb.constraints.pb: Data structure for pseudo-boolean constraint with watched literals.
MaxWatchPbLongCP - Class in org.sat4j.pb.constraints.pb: Data structure for pseudo-boolean constraint with watched literals.
metaData(int, int) - Method in class org.sat4j.pb.reader.OPBReader2005: callback called when we get the number of variables and the expected number of constraints
MinCardConstructor - Class in org.sat4j.pb.constraints
MinCardConstructor() - Constructor for class org.sat4j.pb.constraints.MinCardConstructor
MinCardPBConstructor - Class in org.sat4j.pb.constraints
MinCardPBConstructor() - Constructor for class org.sat4j.pb.constraints.MinCardPBConstructor
MinLongWatchPBConstructor - Class in org.sat4j.pb.constraints
MinLongWatchPBConstructor() - Constructor for class org.sat4j.pb.constraints.MinLongWatchPBConstructor
MinLongWatchPBCPConstructor - Class in org.sat4j.pb.constraints
MinLongWatchPBCPConstructor() - Constructor for class org.sat4j.pb.constraints.MinLongWatchPBCPConstructor
minObjValuesBound() - Method in class org.sat4j.pb.multiobjective.LeximinDecorator
minObjValuesBound() - Method in class org.sat4j.pb.multiobjective.MinSumOWAOptimizer
minObjValuesBound() - Method in class org.sat4j.pb.multiobjective.OrderedObjsOWAOptimizer
minObjValuesBound() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
MinSumOWAOptimizer - Class in org.sat4j.pb.multiobjective: An optimizer intended to solve an increasing weights OWA based problem.
MinSumOWAOptimizer(IIntegerPBSolver, int[]) - Constructor for class org.sat4j.pb.multiobjective.MinSumOWAOptimizer
MinSumOWAOptimizer(IIntegerPBSolver, BigInteger[]) - Constructor for class org.sat4j.pb.multiobjective.MinSumOWAOptimizer
minValue() - Method in class org.sat4j.pb.ObjectiveFunction
MinWatchCardPB - Class in org.sat4j.pb.constraints.pb
MinWatchCardPB(ILits, IVecInt, boolean, int) - Constructor for class org.sat4j.pb.constraints.pb.MinWatchCardPB
MinWatchCardPB(ILits, IVecInt, int) - Constructor for class org.sat4j.pb.constraints.pb.MinWatchCardPB
minWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, boolean, int) - Static method in class org.sat4j.pb.constraints.pb.MinWatchCardPB: Permet la cr?
MinWatchPb - Class in org.sat4j.pb.constraints.pb: Data structure for pseudo-boolean constraint with watched literals.
MinWatchPb(ILits, IDataStructurePB) - Constructor for class org.sat4j.pb.constraints.pb.MinWatchPb: Basic constructor for pb constraint a0.x0 + a1.x1 + ... + an.xn >= k This constructor is called for learnt pseudo boolean constraints.
MinWatchPb(ILits, int[], BigInteger[], BigInteger, BigInteger) - Constructor for class org.sat4j.pb.constraints.pb.MinWatchPb: Basic constructor for PB constraint a0.x0 + a1.x1 + ... + an.xn >= k
MinWatchPBConstructor - Class in org.sat4j.pb.constraints
MinWatchPBConstructor() - Constructor for class org.sat4j.pb.constraints.MinWatchPBConstructor
MinWatchPbLong - Class in org.sat4j.pb.constraints.pb: Data structure for pseudo-boolean constraint with watched literals.
MinWatchPbLong(ILits, IDataStructurePB) - Constructor for class org.sat4j.pb.constraints.pb.MinWatchPbLong: Basic constructor for pb constraint a0.x0 + a1.x1 + ... + an.xn >= k This constructor is called for learnt pseudo boolean constraints.
MinWatchPbLong(ILits, int[], BigInteger[], BigInteger, BigInteger) - Constructor for class org.sat4j.pb.constraints.pb.MinWatchPbLong: Basic constructor for PB constraint a0.x0 + a1.x1 + ... + an.xn >= k
MinWatchPbLongCP - Class in org.sat4j.pb.constraints.pb: Data structure for pseudo-boolean constraint with watched literals.
MinWatchPbLongCP(ILits, IDataStructurePB) - Constructor for class org.sat4j.pb.constraints.pb.MinWatchPbLongCP: Basic constructor for pb constraint a0.x0 + a1.x1 + ... + an.xn >= k This constructor is called for learnt pseudo boolean constraints.
MinWatchPbLongCP(ILits, int[], BigInteger[], BigInteger, BigInteger) - Constructor for class org.sat4j.pb.constraints.pb.MinWatchPbLongCP: Basic constructor for PB constraint a0.x0 + a1.x1 + ... + an.xn >= k
MixedRestartsStrategy - Class in org.sat4j.pb.restarts
model() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
model(int) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
model(int) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
model() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
model() - Method in class org.sat4j.pb.OptToPBSATAdapter
model(PrintWriter) - Method in class org.sat4j.pb.OptToPBSATAdapter: Compute a minimal model according to the objective function of the IPBProblem decorated.
model(int) - Method in class org.sat4j.pb.OptToPBSATAdapter
model() - Method in class org.sat4j.pb.PseudoOptDecorator
model(int) - Method in class org.sat4j.pb.PseudoOptDecorator
model() - Method in class org.sat4j.pb.tools.OptimalModelIterator
model() - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
model(int) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
modelWithInternalVariables() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
modelWithInternalVariables() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
modelWithInternalVariables() - Method in class org.sat4j.pb.PseudoOptDecorator
modelWithInternalVariables() - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
multiply(BigInteger) - Method in class org.sat4j.pb.ObjectiveFunction

N

named(C) - Method in class org.sat4j.pb.tools.ImplicationAnd: "name" the constraint for the explanation.
named(C) - Method in class org.sat4j.pb.tools.ImplicationNamer: Associate the current constraint with a specific object that will be used to represent it in an explanation.
nbConstr - Variable in class org.sat4j.pb.reader.OPBReader2005
nbConstraintsRead - Variable in class org.sat4j.pb.reader.OPBReader2005
nbModelFound - Variable in class org.sat4j.pb.tools.OptimalModelIterator
nbNewSymbols - Variable in class org.sat4j.pb.reader.OPBReader2007: contains the number of new symbols generated to linearize products
nbOfWatched() - Method in class org.sat4j.pb.constraints.pb.MinWatchPb: Number of really watched literals.
nbOfWatched() - Method in class org.sat4j.pb.constraints.pb.MinWatchPbLong: Number of really watched literals.
nbOfWatched() - Method in class org.sat4j.pb.constraints.pb.MinWatchPbLongCP: Number of really watched literals.
nbVars - Variable in class org.sat4j.pb.reader.OPBReader2005
nConstraints() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
nConstraints() - Method in class org.sat4j.pb.LPStringSolver
nConstraints() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
nConstraints() - Method in class org.sat4j.pb.OPBStringSolver
negate() - Method in class org.sat4j.pb.ObjectiveFunction
negateLiteralInAProduct(String, IVecInt) - Method in class org.sat4j.pb.reader.OPBReader2007: callback called when we read a term of a constraint
newAllPOS2020() - Static method in class org.sat4j.pb.SolverFactory
newAllPOS2020WL() - Static method in class org.sat4j.pb.SolverFactory
newAllSAT2020() - Static method in class org.sat4j.pb.SolverFactory
newBoth() - Static method in class org.sat4j.pb.SolverFactory: Resolution and CuttingPlanes based solvers running in parallel.
newBothPartialRoundingSatPOS2020() - Static method in class org.sat4j.pb.SolverFactory
newBothPartialRoundingSatPOS2020WL() - Static method in class org.sat4j.pb.SolverFactory
newBothPOS2020() - Static method in class org.sat4j.pb.SolverFactory
newBothPOS2020WL() - Static method in class org.sat4j.pb.SolverFactory
newBothRoundingSatPOS2020() - Static method in class org.sat4j.pb.SolverFactory
newBothRoundingSatPOS2020WL() - Static method in class org.sat4j.pb.SolverFactory
newBothStar() - Static method in class org.sat4j.pb.SolverFactory: Resolution and CuttingPlanesStar based solvers running in parallel.
newCompetMinPBResLongWLMixedConstraintsObjectiveExpSimp() - Static method in class org.sat4j.pb.SolverFactory
newCompetPBCPMixedConstraintsLongMaxObjective() - Static method in class org.sat4j.pb.SolverFactory
newCompetPBCPMixedConstraintsLongMinObjective() - Static method in class org.sat4j.pb.SolverFactory
newCompetPBCPMixedConstraintsMinObjective() - Static method in class org.sat4j.pb.SolverFactory
newCompetPBCPMixedConstraintsObjective() - Static method in class org.sat4j.pb.SolverFactory
newCompetPBCPMixedConstraintsObjectiveLearnJustClauses() - Static method in class org.sat4j.pb.SolverFactory
newCompetPBCPRemoveSatisfiedMixedConstraintsLongMaxObjective() - Static method in class org.sat4j.pb.SolverFactory
newCompetPBKillerClassic() - Static method in class org.sat4j.pb.SolverFactory
newCompetPBKillerFixed() - Static method in class org.sat4j.pb.SolverFactory
newCompetPBKillerRSAT() - Static method in class org.sat4j.pb.SolverFactory
newCompetPBResHTMixedConstraintsObjectiveExpSimp() - Static method in class org.sat4j.pb.SolverFactory
newCompetPBResLongHTMixedConstraintsObjectiveExpSimp() - Static method in class org.sat4j.pb.SolverFactory
newCompetPBResLongWLMixedConstraintsObjectiveExpSimp() - Static method in class org.sat4j.pb.SolverFactory
newCompetPBResMinHTMixedConstraintsObjective() - Static method in class org.sat4j.pb.SolverFactory
newCompetPBResMinHTMixedConstraintsObjectiveExpSimp() - Static method in class org.sat4j.pb.SolverFactory
newCompetPBResMixedConstraintsObjectiveExpSimp(PBDataStructureFactory) - Static method in class org.sat4j.pb.SolverFactory
newCompetPBResMixedConstraintsObjectiveExpSimp() - Static method in class org.sat4j.pb.SolverFactory
newCompetPBResWLMixedConstraintsObjectiveExpSimp() - Static method in class org.sat4j.pb.SolverFactory
newConflict() - Method in class org.sat4j.pb.restarts.GrowingCoefficientRestarts
newConflict() - Method in class org.sat4j.pb.restarts.MixedRestartsStrategy
newCuttingPlanes() - Static method in class org.sat4j.pb.SolverFactory: Cutting Planes based solver.
newCuttingPlanesAggressiveCleanup() - Static method in class org.sat4j.pb.SolverFactory: Cutting Planes based solver.
newCuttingPlanesPOS2020() - Static method in class org.sat4j.pb.SolverFactory
newCuttingPlanesPOS2020WL() - Static method in class org.sat4j.pb.SolverFactory
newCuttingPlanesReduceByGCD() - Static method in class org.sat4j.pb.SolverFactory
newCuttingPlanesReduceByGCDSkip() - Static method in class org.sat4j.pb.SolverFactory
newCuttingPlanesReduceByPowersOf2() - Static method in class org.sat4j.pb.SolverFactory
newCuttingPlanesReduceByPowersOf2Skip() - Static method in class org.sat4j.pb.SolverFactory: Same cutting planes based solver, with jan Elffer's skip of cutting planes activated
newCuttingPlanesStar() - Static method in class org.sat4j.pb.SolverFactory
newCuttingPlanesStarCardLearning() - Static method in class org.sat4j.pb.SolverFactory
newCuttingPlanesStarCardLearningSkip() - Static method in class org.sat4j.pb.SolverFactory
newCuttingPlanesStarClauseLearning() - Static method in class org.sat4j.pb.SolverFactory
newCuttingPlanesStarClauseLearningSkip() - Static method in class org.sat4j.pb.SolverFactory
newCuttingPlanesStarDivideBy2() - Static method in class org.sat4j.pb.SolverFactory
newCuttingPlanesStarDivideBy2Skip() - Static method in class org.sat4j.pb.SolverFactory
newCuttingPlanesStarDivideByGCD() - Static method in class org.sat4j.pb.SolverFactory
newCuttingPlanesStarDivideByGCDSkip() - Static method in class org.sat4j.pb.SolverFactory
newCuttingPlanesStarReduceToCard() - Static method in class org.sat4j.pb.SolverFactory
newCuttingPlanesStarReduceToCardSkip() - Static method in class org.sat4j.pb.SolverFactory
newCuttingPlanesStarRounding() - Static method in class org.sat4j.pb.SolverFactory
newCuttingPlanesStarRoundingSkip() - Static method in class org.sat4j.pb.SolverFactory
newCuttingPlanesStarSkip() - Static method in class org.sat4j.pb.SolverFactory
newCuttingPlanesWatched() - Static method in class org.sat4j.pb.SolverFactory
newDefault() - Static method in class org.sat4j.pb.SolverFactory: Default solver of the SolverFactory.
newDefaultNonNormalized() - Static method in class org.sat4j.pb.SolverFactory: Default solver of the SolverFactory for instances not normalized.
newDefaultOptimizer() - Static method in class org.sat4j.pb.SolverFactory: Provides the best available PB solver of the library ready to solve optimization problems.
newDegree(Solver<D>, ConflictTimer) - Static method in class org.sat4j.pb.lcds.PBGlucoseLCDS
newDegreeSize(Solver<D>, ConflictTimer) - Static method in class org.sat4j.pb.lcds.PBGlucoseLCDS
newDetectCards() - Static method in class org.sat4j.pb.SolverFactory
newDetectCardsAndExit() - Static method in class org.sat4j.pb.SolverFactory
newEclipseP2() - Static method in class org.sat4j.pb.SolverFactory
newEffectiveOnly(Solver<D>, ConflictTimer) - Static method in class org.sat4j.pb.lcds.PBGlucoseLCDS
newFalsifiedOnly(Solver<D>, ConflictTimer) - Static method in class org.sat4j.pb.lcds.PBGlucoseLCDS
newIgnoreUnassigned(Solver<D>, ConflictTimer) - Static method in class org.sat4j.pb.lcds.PBGlucoseLCDS
newInprocDetectCards() - Static method in class org.sat4j.pb.SolverFactory
newInprocDetectCardsSkip() - Static method in class org.sat4j.pb.SolverFactory
newIntegerVar(BigInteger) - Method in class org.sat4j.pb.core.IntegerPBSolverDecorator
newIntegerVar(BigInteger) - Method in interface org.sat4j.pb.IIntegerPBSolver
newIntegerVar(BigInteger) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
newIntegerVar(BigInteger) - Method in class org.sat4j.pb.tools.ManyCoreIntegerPB
newLazyInprocDetectCards() - Static method in class org.sat4j.pb.SolverFactory
newLazyInprocDetectCardsSkip() - Static method in class org.sat4j.pb.SolverFactory
newLearnedClause(Constr, int) - Method in class org.sat4j.pb.restarts.GrowingCoefficientRestarts
newLearnedClause(Constr, int) - Method in class org.sat4j.pb.restarts.MixedRestartsStrategy
newLight() - Static method in class org.sat4j.pb.SolverFactory: Small footprint SAT solver.
newMiniLearningOPBClauseCardConstrMaxSpecificOrderIncrementalReductionToClause() - Static method in class org.sat4j.pb.SolverFactory
newMiniOPBClauseAtLeastConstrMax() - Static method in class org.sat4j.pb.SolverFactory
newMiniOPBClauseAtLeastMinPueblo() - Static method in class org.sat4j.pb.SolverFactory
newMiniOPBClauseCardMin() - Static method in class org.sat4j.pb.SolverFactory
newMiniOPBClauseCardMinPueblo() - Static method in class org.sat4j.pb.SolverFactory
newOPBStringSolver() - Static method in class org.sat4j.pb.SolverFactory
newPartialRoundingSat() - Static method in class org.sat4j.pb.SolverFactory
newPartialRoundingSatPOS2020() - Static method in class org.sat4j.pb.SolverFactory
newPartialRoundingSatPOS2020WL() - Static method in class org.sat4j.pb.SolverFactory
newPBCP(PBDataStructureFactory, IOrder) - Static method in class org.sat4j.pb.SolverFactory
newPBCPAllPB() - Static method in class org.sat4j.pb.SolverFactory
newPBCPAllPBWL() - Static method in class org.sat4j.pb.SolverFactory
newPBCPAllPBWLPueblo() - Static method in class org.sat4j.pb.SolverFactory
newPBCPMixedConstrainsImplied() - Static method in class org.sat4j.pb.SolverFactory
newPBCPMixedConstraints() - Static method in class org.sat4j.pb.SolverFactory
newPBCPMixedConstraintsCautious(int) - Static method in class org.sat4j.pb.SolverFactory
newPBCPMixedConstraintsCautious() - Static method in class org.sat4j.pb.SolverFactory
newPBCPMixedConstraintsObjective() - Static method in class org.sat4j.pb.SolverFactory
newPBCPMixedConstraintsObjectiveLearnJustClauses() - Static method in class org.sat4j.pb.SolverFactory
newPBCPMixedConstraintsObjectiveNoLearning() - Static method in class org.sat4j.pb.SolverFactory
newPBCPMixedConstraintsReduceToClause() - Static method in class org.sat4j.pb.SolverFactory
newPBCPMixedConstraintsResCP(long) - Static method in class org.sat4j.pb.SolverFactory
newPBCPMixedConstraintsResCP() - Static method in class org.sat4j.pb.SolverFactory
newPBKillerClassic() - Static method in class org.sat4j.pb.SolverFactory
newPBKillerFixed() - Static method in class org.sat4j.pb.SolverFactory
newPBKillerRSAT() - Static method in class org.sat4j.pb.SolverFactory
newPBResAllPB() - Static method in class org.sat4j.pb.SolverFactory
newPBResAllPBWL() - Static method in class org.sat4j.pb.SolverFactory
newPBResAllPBWLPueblo() - Static method in class org.sat4j.pb.SolverFactory
newPBResHTMixedConstraintsObjective() - Static method in class org.sat4j.pb.SolverFactory
newPBResHTMixedConstraintsObjectiveExpSimp() - Static method in class org.sat4j.pb.SolverFactory
newPBResMinHTMixedConstraintsObjective() - Static method in class org.sat4j.pb.SolverFactory
newPBResMixedConstraintsObjective() - Static method in class org.sat4j.pb.SolverFactory
newRatio(Solver<D>, ConflictTimer) - Static method in class org.sat4j.pb.lcds.PBGlucoseLCDS
newResolution() - Static method in class org.sat4j.pb.SolverFactory: Resolution based solver (i.e. classic SAT solver able to handle generic constraints.
newResolutionGlucose() - Static method in class org.sat4j.pb.SolverFactory: Resolution based solver (i.e. classic SAT solver able to handle generic constraints.
newResolutionGlucose21() - Static method in class org.sat4j.pb.SolverFactory: Resolution based solver (i.e. classic SAT solver able to handle generic constraints.
newResolutionGlucoseExpSimp() - Static method in class org.sat4j.pb.SolverFactory: Resolution based solver (i.e. classic SAT solver able to handle generic constraints.
newResolutionGlucoseSimpleSimp() - Static method in class org.sat4j.pb.SolverFactory: Resolution based solver (i.e. classic SAT solver able to handle generic constraints.
newResolutionMaxMemory() - Static method in class org.sat4j.pb.SolverFactory: Resolution based solver (i.e. classic SAT solver able to handle generic constraints.
newResolutionSimpleRestarts() - Static method in class org.sat4j.pb.SolverFactory: Resolution based solver (i.e. classic SAT solver able to handle generic constraints.
newResolutionWL() - Static method in class org.sat4j.pb.SolverFactory: Resolution based solver (i.e. classic SAT solver able to handle generic constraints.
newRoundingSat() - Static method in class org.sat4j.pb.SolverFactory
newRoundingSatPOS2020() - Static method in class org.sat4j.pb.SolverFactory
newRoundingSatPOS2020WL() - Static method in class org.sat4j.pb.SolverFactory
newSAT() - Static method in class org.sat4j.pb.SolverFactory: That solver is expected to perform better on satisfiable benchmarks.
newSATUNSAT() - Static method in class org.sat4j.pb.SolverFactory: Two solvers are running in //: one for solving SAT instances, the other one for solving unsat instances.
newSimpleSimplification() - Static method in class org.sat4j.pb.SolverFactory: Resolution based solver (i.e. classic SAT solver able to handle generic constraints.
newSlack(Solver<D>, ConflictTimer) - Static method in class org.sat4j.pb.lcds.PBGlucoseLCDS
newSoberBoth() - Static method in class org.sat4j.pb.SolverFactory: Resolution and CuttingPlanes based solvers running in parallel.
newUnassignedDifferent(Solver<D>, ConflictTimer) - Static method in class org.sat4j.pb.lcds.PBGlucoseLCDS
newUnassignedSame(Solver<D>, ConflictTimer) - Static method in class org.sat4j.pb.lcds.PBGlucoseLCDS
newUNSAT() - Static method in class org.sat4j.pb.SolverFactory: That solver is expected to perform better on unsatisfiable benchmarks.
newVar() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
newVar(int) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
newVar(int) - Method in class org.sat4j.pb.LPStringSolver
newVar(int) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
newVar() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
newVar(int) - Method in class org.sat4j.pb.OPBStringSolver
newVar(int) - Method in class org.sat4j.pb.UserFriendlyPBStringSolver
newWO(E, int) - Static method in class org.sat4j.pb.tools.WeightedObject
newWO(E, long) - Static method in class org.sat4j.pb.tools.WeightedObject
newWO(E, BigInteger) - Static method in class org.sat4j.pb.tools.WeightedObject
next() - Method in class org.sat4j.pb.tools.CardConstrFinder
next() - Method in class org.sat4j.pb.tools.CombinationIterator
nextBitSet() - Method in class org.sat4j.pb.tools.CombinationIterator
nextFreeVarId(boolean) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
nextFreeVarId(boolean) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
nextRestartNumberOfConflict() - Method in class org.sat4j.pb.restarts.GrowingCoefficientRestarts
nextRestartNumberOfConflict() - Method in class org.sat4j.pb.restarts.MixedRestartsStrategy
niceCheckedParameters(IVecInt, IVec<BigInteger>, boolean, BigInteger, ILits) - Static method in class org.sat4j.pb.constraints.pb.Pseudos
niceCheckedParametersForCompetition(int[], BigInteger[], boolean, BigInteger) - Static method in class org.sat4j.pb.constraints.pb.Pseudos
niceParameters(IVecInt, IVec<BigInteger>, boolean, BigInteger, ILits) - Static method in class org.sat4j.pb.constraints.pb.Pseudos
niceParametersForCompetition(int[], BigInteger[], boolean, BigInteger) - Static method in class org.sat4j.pb.constraints.pb.Pseudos
NO_COMPETITION - Static variable in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory
NO_NEGATION - Static variable in class org.sat4j.pb.tools.DependencyHelper
nonOptimalMeansSatisfiable() - Method in class org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator
nonOptimalMeansSatisfiable() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
nonOptimalMeansSatisfiable() - Method in class org.sat4j.pb.PBSolverHandle
nonOptimalMeansSatisfiable() - Method in class org.sat4j.pb.PseudoOptDecorator
NoPostProcess - Class in org.sat4j.pb.constraints.pb
NoPreProcess - Class in org.sat4j.pb.constraints.pb
NoReduceConflict - Class in org.sat4j.pb.constraints.pb
normalizedMaxWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger, BigInteger) - Static method in class org.sat4j.pb.constraints.pb.MaxWatchPb: build a pseudo boolean constraint.
normalizedMaxWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger, BigInteger) - Static method in class org.sat4j.pb.constraints.pb.MaxWatchPbLong: build a pseudo boolean constraint.
normalizedMaxWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger, BigInteger) - Static method in class org.sat4j.pb.constraints.pb.MaxWatchPbLongCP: build a pseudo boolean constraint.
normalizedMinWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, int) - Static method in class org.sat4j.pb.constraints.pb.MinWatchCardPB: Permet la cr?
normalizedMinWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger, BigInteger) - Static method in class org.sat4j.pb.constraints.pb.MinWatchPb: build a pseudo boolean constraint.
normalizedMinWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger, BigInteger) - Static method in class org.sat4j.pb.constraints.pb.MinWatchPbLong: build a pseudo boolean constraint.
normalizedMinWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger, BigInteger) - Static method in class org.sat4j.pb.constraints.pb.MinWatchPbLongCP: build a pseudo boolean constraint.
normalizedMinWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger) - Static method in class org.sat4j.pb.constraints.pb.PuebloMinWatchPb
normalizedWatchPbNew(ILits, IDataStructurePB) - Static method in class org.sat4j.pb.constraints.pb.MaxWatchPb: build a pseudo boolean constraint from a specific data structure.
normalizedWatchPbNew(ILits, IDataStructurePB) - Static method in class org.sat4j.pb.constraints.pb.MaxWatchPbLong: build a pseudo boolean constraint from a specific data structure.
normalizedWatchPbNew(ILits, IDataStructurePB) - Static method in class org.sat4j.pb.constraints.pb.MaxWatchPbLongCP: build a pseudo boolean constraint from a specific data structure.
normalizedWatchPbNew(ILits, IDataStructurePB) - Static method in class org.sat4j.pb.constraints.pb.MinWatchPb: build a pseudo boolean constraint from a specific data structure.
normalizedWatchPbNew(ILits, IDataStructurePB) - Static method in class org.sat4j.pb.constraints.pb.MinWatchPbLong: build a pseudo boolean constraint from a specific data structure.
normalizedWatchPbNew(ILits, IDataStructurePB) - Static method in class org.sat4j.pb.constraints.pb.MinWatchPbLongCP: build a pseudo boolean constraint from a specific data structure.
normalizedWatchPbNew(ILits, IDataStructurePB) - Static method in class org.sat4j.pb.constraints.pb.PuebloMinWatchPb
normalizeObjective(ObjectiveFunction) - Static method in class org.sat4j.pb.constraints.pb.Pseudos
not(T) - Method in class org.sat4j.pb.tools.DependencyHelper
NullLCDS - Class in org.sat4j.pb.lcds
NullLCDS(LearnedConstraintsDeletionStrategy) - Constructor for class org.sat4j.pb.lcds.NullLCDS
numberOfCriteria() - Method in class org.sat4j.pb.tools.LexicoDecoratorPB
numberOfReductions - Variable in class org.sat4j.pb.constraints.pb.ConflictMap
nVars() - Method in class org.sat4j.pb.core.IntegerVariable
nVars() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
nVars() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer

O

obfct - Variable in class org.sat4j.pb.LanceurPseudo2005
objBoundVariables - Variable in class org.sat4j.pb.multiobjective.OrderedObjsOWAOptimizer
objBoundVariables - Variable in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
OBJECTIVE_FUNCTION - Static variable in class org.sat4j.pb.reader.JSONPBReader
OBJECTIVE_FUNCTION_PATTERN - Static variable in class org.sat4j.pb.reader.JSONPBReader
ObjectiveFunction - Class in org.sat4j.pb: Abstraction for an Objective Function for Pseudo Boolean Optimization.
ObjectiveFunction() - Constructor for class org.sat4j.pb.ObjectiveFunction
ObjectiveFunction(IVecInt, IVec<BigInteger>) - Constructor for class org.sat4j.pb.ObjectiveFunction
objectiveFunctionBased - Variable in class org.sat4j.pb.core.PBSolver
ObjectiveFunctionComparator - Class in org.sat4j.pb
ObjectiveFunctionComparator(ObjectiveFunction) - Constructor for class org.sat4j.pb.ObjectiveFunctionComparator
objectiveFunctionToLP(ObjectiveFunction, StringBuilder) - Method in class org.sat4j.pb.LPStringSolver
ObjectiveReducerPBSolverDecorator - Class in org.sat4j.pb.core
ObjectiveReducerPBSolverDecorator(IPBSolver) - Constructor for class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
objectiveValue - Variable in class org.sat4j.pb.PseudoOptDecorator
objs - Variable in class org.sat4j.pb.multiobjective.AbstractLinMultiObjOptimizer
objs - Variable in class org.sat4j.pb.tools.LexicoDecoratorPB
of(RestartStrategy, RestartStrategy...) - Static method in class org.sat4j.pb.restarts.MixedRestartsStrategy
oldGetBacktrackLevel(int) - Method in class org.sat4j.pb.constraints.pb.ConflictMap
oldIsAssertive(int) - Method in class org.sat4j.pb.constraints.pb.ConflictMap
onBackjumpToRootLevel() - Method in class org.sat4j.pb.restarts.GrowingCoefficientRestarts
onBackjumpToRootLevel() - Method in class org.sat4j.pb.restarts.MixedRestartsStrategy
onClauseLearning(Constr) - Method in class org.sat4j.pb.lcds.NullLCDS
onConflictAnalysis(Constr) - Method in class org.sat4j.pb.lcds.NullLCDS
onPropagation(Constr, int) - Method in class org.sat4j.pb.lcds.NullLCDS
onRemove(Constr) - Method in class org.sat4j.pb.lcds.PBActivityLCDS
onRemove(Constr) - Method in class org.sat4j.pb.lcds.PBGlucoseLCDS
onRestart() - Method in class org.sat4j.pb.restarts.GrowingCoefficientRestarts
onRestart() - Method in class org.sat4j.pb.restarts.MixedRestartsStrategy
onSolutionFound(int[]) - Method in class org.sat4j.pb.tools.AbstractLexicoHelper
onSolutionFound(IVecInt) - Method in class org.sat4j.pb.tools.AbstractLexicoHelper
onSolutionFound(int[]) - Method in class org.sat4j.pb.tools.LinMultiObjHelper
onSolutionFound(IVecInt) - Method in class org.sat4j.pb.tools.LinMultiObjHelper
onUnsatTermination() - Method in class org.sat4j.pb.tools.AbstractLexicoHelper
onUnsatTermination() - Method in class org.sat4j.pb.tools.LinMultiObjHelper
OPBEclipseReader2007 - Class in org.sat4j.pb.reader
OPBEclipseReader2007(IPBSolver) - Constructor for class org.sat4j.pb.reader.OPBEclipseReader2007
OPBReader2005 - Class in org.sat4j.pb.reader: Based on the "Official" reader for the Pseudo Boolean evaluation 2005.
OPBReader2005(IPBSolver) - Constructor for class org.sat4j.pb.reader.OPBReader2005
OPBReader2006 - Class in org.sat4j.pb.reader: Reader complying to the PB06 input format.
OPBReader2006(IPBSolver) - Constructor for class org.sat4j.pb.reader.OPBReader2006
OPBReader2007 - Class in org.sat4j.pb.reader: Reader complying with the PB07 input format.
OPBReader2007(IPBSolver) - Constructor for class org.sat4j.pb.reader.OPBReader2007
OPBReader2010 - Class in org.sat4j.pb.reader
OPBReader2010(IPBSolver) - Constructor for class org.sat4j.pb.reader.OPBReader2010
OPBReader2012 - Class in org.sat4j.pb.reader: OPBReader allowing to read several objective functions in an OPB file.
OPBReader2012(PBSolverHandle) - Constructor for class org.sat4j.pb.reader.OPBReader2012
OPBStringSolver - Class in org.sat4j.pb: Solver used to display in a string the pb-instance in OPB format.
OPBStringSolver() - Constructor for class org.sat4j.pb.OPBStringSolver
OPBStringSolver(int) - Constructor for class org.sat4j.pb.OPBStringSolver
OpbToDimacs - Class in org.sat4j.pb.tools: Read an OPB file and output a CNF file.
OpbToDimacs() - Constructor for class org.sat4j.pb.tools.OpbToDimacs
OpbToDimacsWriter - Class in org.sat4j.pb.tools: This util class allow to translate an OPB file into multiple CNF file, where atMost constraints are translated through multiple encodings
OpbToDimacsWriter(String[]) - Constructor for class org.sat4j.pb.tools.OpbToDimacsWriter
operator - Variable in class org.sat4j.pb.reader.OPBReader2005
OptimalModelIterator - Class in org.sat4j.pb.tools
OptimalModelIterator(IPBSolver) - Constructor for class org.sat4j.pb.tools.OptimalModelIterator: Create an iterator over the solutions available in solver.
OptimalModelIterator(IPBSolver, long) - Constructor for class org.sat4j.pb.tools.OptimalModelIterator: Create an iterator over a limited number of solutions available in solver.
OptToPBSATAdapter - Class in org.sat4j.pb: Utility class to use optimization solvers instead of simple SAT solvers in code meant for SAT solvers.
OptToPBSATAdapter(IOptimizationProblem) - Constructor for class org.sat4j.pb.OptToPBSATAdapter
OptToPBSATAdapter(IOptimizationProblem, SolutionFoundListener) - Constructor for class org.sat4j.pb.OptToPBSATAdapter
or(C, T, T...) - Method in class org.sat4j.pb.tools.DependencyHelper: Create a constraint of the form thing <=> (thing1 or thing 2 ... or thingn)
OrderedObjsOWAOptimizer - Class in org.sat4j.pb.multiobjective: An optimizer intended to solve an OWA based problem.
OrderedObjsOWAOptimizer(IIntegerPBSolver, int[]) - Constructor for class org.sat4j.pb.multiobjective.OrderedObjsOWAOptimizer
OrderedObjsOWAOptimizer(IIntegerPBSolver, BigInteger[]) - Constructor for class org.sat4j.pb.multiobjective.OrderedObjsOWAOptimizer
org.sat4j.pb - package org.sat4j.pb: Implementations of pseudo boolean solvers
org.sat4j.pb.constraints - package org.sat4j.pb.constraints: Implementation of data structures for pseudo boolean constraints.
org.sat4j.pb.constraints.pb - package org.sat4j.pb.constraints.pb: Implementations of pseudo boolean constraints.
org.sat4j.pb.core - package org.sat4j.pb.core: Implementations of pseudo boolean solvers
org.sat4j.pb.lcds - package org.sat4j.pb.lcds
org.sat4j.pb.multiobjective - package org.sat4j.pb.multiobjective
org.sat4j.pb.orders - package org.sat4j.pb.orders: Various heuristics for the next variable to branch on.
org.sat4j.pb.reader - package org.sat4j.pb.reader: Readers for opb instances.
org.sat4j.pb.restarts - package org.sat4j.pb.restarts
org.sat4j.pb.tools - package org.sat4j.pb.tools: Implementation of different tools for pseudo boolean solvers
OriginalBinaryClausePB - Class in org.sat4j.pb.constraints.pb
OriginalBinaryClausePB(IVecInt, ILits) - Constructor for class org.sat4j.pb.constraints.pb.OriginalBinaryClausePB
OriginalHTClausePB - Class in org.sat4j.pb.constraints.pb
OriginalHTClausePB(IVecInt, ILits) - Constructor for class org.sat4j.pb.constraints.pb.OriginalHTClausePB

P

parse() - Method in class org.sat4j.pb.reader.OPBReader2005: parses the file and uses the callbacks to send to send the data back to the program
parseInstance(Reader) - Method in class org.sat4j.pb.reader.OPBReader2005
parseInstance(LineNumberReader) - Method in class org.sat4j.pb.reader.OPBReader2005
parseInstance(InputStream) - Method in class org.sat4j.pb.reader.OPBReader2005
parseInstance(Reader) - Method in class org.sat4j.pb.reader.OPBReader2010
parseInstance(Reader) - Method in class org.sat4j.pb.reader.OPBReader2012
partialWeakeningOnBothFactory() - Static method in class org.sat4j.pb.constraints.pb.ConflictMapDivideByPivot
partialWeakeningOnConflictFactory() - Static method in class org.sat4j.pb.constraints.pb.ConflictMapDivideByPivot
partialWeakeningOnReasonFactory() - Static method in class org.sat4j.pb.constraints.pb.ConflictMapDivideByPivot
PB - Static variable in class org.sat4j.pb.reader.JSONPBReader
PBActivityLCDS - Class in org.sat4j.pb.lcds
PBActivityLCDS(Solver<? extends DataStructureFactory>, ConflictTimer) - Constructor for class org.sat4j.pb.lcds.PBActivityLCDS
PBAdapter - Class in org.sat4j.pb.tools: Allow to put a ISolver when an IPBSolver is required.
PBAdapter(ISolver) - Constructor for class org.sat4j.pb.tools.PBAdapter
PBConstr - Interface in org.sat4j.pb.constraints.pb
PBDataStructureFactory - Interface in org.sat4j.pb.core
PBGlucoseLCDS<D extends DataStructureFactory> - Class in org.sat4j.pb.lcds
PBInstanceReader - Class in org.sat4j.pb.reader: An reader having the responsibility to choose the right reader according to the input.
PBInstanceReader(IPBSolver) - Constructor for class org.sat4j.pb.reader.PBInstanceReader
PBLongMaxClauseCardConstrDataStructure - Class in org.sat4j.pb.constraints
PBLongMaxClauseCardConstrDataStructure() - Constructor for class org.sat4j.pb.constraints.PBLongMaxClauseCardConstrDataStructure
PBLongMinClauseCardConstrDataStructure - Class in org.sat4j.pb.constraints
PBLongMinClauseCardConstrDataStructure() - Constructor for class org.sat4j.pb.constraints.PBLongMinClauseCardConstrDataStructure
PBMaxClauseAtLeastConstrDataStructure - Class in org.sat4j.pb.constraints
PBMaxClauseAtLeastConstrDataStructure() - Constructor for class org.sat4j.pb.constraints.PBMaxClauseAtLeastConstrDataStructure
PBMaxClauseCardConstrDataStructure - Class in org.sat4j.pb.constraints
PBMaxClauseCardConstrDataStructure() - Constructor for class org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure
PBMaxDataStructure - Class in org.sat4j.pb.constraints
PBMaxDataStructure() - Constructor for class org.sat4j.pb.constraints.PBMaxDataStructure
PBMinClauseCardConstrDataStructure - Class in org.sat4j.pb.constraints
PBMinClauseCardConstrDataStructure() - Constructor for class org.sat4j.pb.constraints.PBMinClauseCardConstrDataStructure
PBMinDataStructure - Class in org.sat4j.pb.constraints
PBMinDataStructure() - Constructor for class org.sat4j.pb.constraints.PBMinDataStructure
PBSolver - Class in org.sat4j.pb.core
PBSolver(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder, RestartStrategy) - Constructor for class org.sat4j.pb.core.PBSolver
PBSolver(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy) - Constructor for class org.sat4j.pb.core.PBSolver
PBSolverCautious - Class in org.sat4j.pb.core
PBSolverCautious(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverCautious
PBSolverCautious(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder, int) - Constructor for class org.sat4j.pb.core.PBSolverCautious
PBSolverClause - Class in org.sat4j.pb.core
PBSolverClause(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverClause
PBSolverCP - Class in org.sat4j.pb.core
PBSolverCP(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverCP
PBSolverCP(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCP
PBSolverCP(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverCP
PBSolverCP(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCP
PBSolverCP(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCP
PBSolverCP(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCP
PBSolverCPCardLearning - Class in org.sat4j.pb.core
PBSolverCPCardLearning(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverCPCardLearning
PBSolverCPCardLearning(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPCardLearning
PBSolverCPCardLearning(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverCPCardLearning
PBSolverCPCardLearning(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPCardLearning
PBSolverCPCardLearning(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPCardLearning
PBSolverCPCardLearning(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPCardLearning
PBSolverCPClauseLearning - Class in org.sat4j.pb.core
PBSolverCPClauseLearning(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverCPClauseLearning: after conflict analysis, performs (or not) a post-processing in order to learn clauses only.
PBSolverCPClauseLearning(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPClauseLearning
PBSolverCPClauseLearning(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverCPClauseLearning
PBSolverCPClauseLearning(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPClauseLearning
PBSolverCPClauseLearning(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPClauseLearning
PBSolverCPClauseLearning(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPClauseLearning
PBSolverCPLong - Class in org.sat4j.pb.core
PBSolverCPLong(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverCPLong
PBSolverCPLong(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPLong
PBSolverCPLong(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverCPLong
PBSolverCPLong(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPLong
PBSolverCPLong(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPLong
PBSolverCPLong(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPLong
PBSolverCPLongDivideBy2 - Class in org.sat4j.pb.core
PBSolverCPLongDivideBy2(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverCPLongDivideBy2
PBSolverCPLongDivideBy2(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPLongDivideBy2
PBSolverCPLongDivideBy2(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverCPLongDivideBy2
PBSolverCPLongDivideBy2(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPLongDivideBy2
PBSolverCPLongDivideBy2(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPLongDivideBy2
PBSolverCPLongDivideBy2(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPLongDivideBy2
PBSolverCPLongDivideByGCD - Class in org.sat4j.pb.core
PBSolverCPLongDivideByGCD(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverCPLongDivideByGCD
PBSolverCPLongDivideByGCD(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPLongDivideByGCD
PBSolverCPLongDivideByGCD(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverCPLongDivideByGCD
PBSolverCPLongDivideByGCD(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPLongDivideByGCD
PBSolverCPLongDivideByGCD(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPLongDivideByGCD
PBSolverCPLongDivideByGCD(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPLongDivideByGCD
PBSolverCPLongReduceToCard - Class in org.sat4j.pb.core
PBSolverCPLongReduceToCard(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverCPLongReduceToCard
PBSolverCPLongReduceToCard(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPLongReduceToCard
PBSolverCPLongReduceToCard(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverCPLongReduceToCard
PBSolverCPLongReduceToCard(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPLongReduceToCard
PBSolverCPLongReduceToCard(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPLongReduceToCard
PBSolverCPLongReduceToCard(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPLongReduceToCard
PBSolverCPLongRounding - Class in org.sat4j.pb.core
PBSolverCPLongRounding(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverCPLongRounding
PBSolverCPLongRounding(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPLongRounding
PBSolverCPLongRounding(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverCPLongRounding
PBSolverCPLongRounding(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPLongRounding
PBSolverCPLongRounding(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPLongRounding
PBSolverCPLongRounding(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPLongRounding
PBSolverCPReduceByGCD - Class in org.sat4j.pb.core
PBSolverCPReduceByGCD(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverCPReduceByGCD
PBSolverCPReduceByGCD(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPReduceByGCD
PBSolverCPReduceByGCD(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverCPReduceByGCD
PBSolverCPReduceByGCD(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPReduceByGCD
PBSolverCPReduceByGCD(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPReduceByGCD
PBSolverCPReduceByGCD(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPReduceByGCD
PBSolverCPReduceByPowersOf2 - Class in org.sat4j.pb.core
PBSolverCPReduceByPowersOf2(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverCPReduceByPowersOf2
PBSolverCPReduceByPowersOf2(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPReduceByPowersOf2
PBSolverCPReduceByPowersOf2(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverCPReduceByPowersOf2
PBSolverCPReduceByPowersOf2(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPReduceByPowersOf2
PBSolverCPReduceByPowersOf2(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPReduceByPowersOf2
PBSolverCPReduceByPowersOf2(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, boolean, SkipStrategy) - Constructor for class org.sat4j.pb.core.PBSolverCPReduceByPowersOf2
PBSolverDecorator - Class in org.sat4j.pb: A decorator for the PB solvers.
PBSolverDecorator(IPBSolver) - Constructor for class org.sat4j.pb.PBSolverDecorator
PBSolverHandle - Class in org.sat4j.pb: A PBSolverHandle is a PBSolverDecorator in which it is possible to change the decorated solver, in contrast with classical decorators.
PBSolverHandle(IPBSolver) - Constructor for class org.sat4j.pb.PBSolverHandle
PBSolverResCP - Class in org.sat4j.pb.core
PBSolverResCP(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverResCP
PBSolverResCP(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder, long) - Constructor for class org.sat4j.pb.core.PBSolverResCP
PBSolverResCP(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy) - Constructor for class org.sat4j.pb.core.PBSolverResCP
PBSolverResCP(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverResCP
PBSolverResolution - Class in org.sat4j.pb.core
PBSolverResolution(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy) - Constructor for class org.sat4j.pb.core.PBSolverResolution
PBSolverResolution(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder, RestartStrategy) - Constructor for class org.sat4j.pb.core.PBSolverResolution
PBSolverStats - Class in org.sat4j.pb.core
PBSolverStats() - Constructor for class org.sat4j.pb.core.PBSolverStats
PBSolverWithImpliedClause - Class in org.sat4j.pb.core
PBSolverWithImpliedClause(LearningStrategy<PBDataStructureFactory>, PBDataStructureFactory, IOrder) - Constructor for class org.sat4j.pb.core.PBSolverWithImpliedClause
pbStats - Variable in class org.sat4j.pb.core.PBSolver
PBTimeoutIsolator - Class in org.sat4j.pb: Solver Decorator to prevent the solver to receive a programmatic timeout change.
PBTimeoutIsolator(IPBSolver) - Constructor for class org.sat4j.pb.PBTimeoutIsolator
possConstraint(IWatchPb, BigInteger[]) - Method in class org.sat4j.pb.constraints.pb.ConflictMap
postBumpActivity(Constr) - Method in class org.sat4j.pb.core.PBSolverCP
postBumpActivity(IOrder, PBConstr) - Method in enum org.sat4j.pb.orders.Bumper
postBumpActivity(IOrder, PBConstr) - Method in class org.sat4j.pb.orders.BumperEffective
postBumpActivity(IOrder, PBConstr) - Method in class org.sat4j.pb.orders.BumperEffectiveAndPropagated
postBumpActivity(IOrder, PBConstr) - Method in class org.sat4j.pb.orders.DoubleBumpClashingLiteralsDecorator
postBumpActivity(IOrder, PBConstr) - Method in interface org.sat4j.pb.orders.IBumper
postProcess(int) - Method in class org.sat4j.pb.constraints.pb.ConflictMap
postProcess(int) - Method in interface org.sat4j.pb.constraints.pb.IConflict
postProcess(int, ConflictMap) - Method in interface org.sat4j.pb.constraints.pb.IPostProcess
postProcess(int, ConflictMap) - Method in class org.sat4j.pb.constraints.pb.NoPostProcess
postProcess(int, ConflictMap) - Method in class org.sat4j.pb.constraints.pb.PostProcessDivideBy2
postProcess(int, ConflictMap) - Method in class org.sat4j.pb.constraints.pb.PostProcessDivideByGCD
postProcess(int, ConflictMap) - Method in class org.sat4j.pb.constraints.pb.PostProcessToCard
postProcess(int, ConflictMap) - Method in class org.sat4j.pb.constraints.pb.PostProcessToClause
PostProcessDivideBy2 - Class in org.sat4j.pb.constraints.pb
PostProcessDivideByGCD - Class in org.sat4j.pb.constraints.pb
PostProcessToCard - Class in org.sat4j.pb.constraints.pb
PostProcessToClause - Class in org.sat4j.pb.constraints.pb
ppcm(BigInteger, BigInteger) - Method in class org.sat4j.pb.constraints.pb.ConflictMap: computes the least common factor of two integers (Plus Petit Commun Multiple in french)
ppcm(BigInteger, BigInteger) - Static method in class org.sat4j.pb.constraints.pb.WatchPb: ppcm : least common multiple for two integers (plus petit commun multiple)
ppcm(BigInteger, BigInteger) - Static method in class org.sat4j.pb.constraints.pb.WatchPbLong: ppcm : least common multiple for two integers (plus petit commun multiple)
ppcm(BigInteger, BigInteger) - Static method in class org.sat4j.pb.constraints.pb.WatchPbLongCP: ppcm : least common multiple for two integers (plus petit commun multiple)
PreprocCardConstrLearningSolver<S extends IPBSolver> - Class in org.sat4j.pb.tools
PreprocCardConstrLearningSolver(ASolverFactory<IPBSolver>, String) - Constructor for class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
PreprocCardConstrLearningSolver(IPBSolver) - Constructor for class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
PreprocCardConstrLearningSolver(IPBSolver, boolean) - Constructor for class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
preProcess - Variable in class org.sat4j.pb.constraints.pb.ConflictMap
preProcess() - Method in class org.sat4j.pb.constraints.pb.ConflictMap
preProcess(int, ConflictMap) - Method in interface org.sat4j.pb.constraints.pb.IPreProcess
preProcess(int, ConflictMap) - Method in class org.sat4j.pb.constraints.pb.NoPreProcess
preProcess(int, ConflictMap) - Method in class org.sat4j.pb.constraints.pb.PreProcessReduceConflict
PreProcessReduceConflict - Class in org.sat4j.pb.constraints.pb
primeImplicant() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
primeImplicant(int) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
primeImplicant() - Method in class org.sat4j.pb.core.PBSolver
primeImplicant() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
primeImplicant(int) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
primeImplicant() - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
primeImplicant(int) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
printInfos(PrintWriter, String) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
printInfos(PrintWriter) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
printInfos(PrintWriter, String) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
printInfos(PrintWriter) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
printInfos(PrintWriter, String) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
printInfos(PrintWriter) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
printStat(PrintStream, String) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
printStat(PrintWriter, String) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
printStat(PrintWriter) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
printStat(PrintWriter, String) - Method in class org.sat4j.pb.core.PBSolverStats
printStat(PrintStream, String) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
printStat(PrintWriter, String) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
printStat(PrintWriter) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
printStat(PrintStream, String) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver: Deprecated.
printStat(PrintWriter, String) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver: Deprecated.
printStat(PrintWriter) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
propagate(UnitPropagationListener, int) - Method in class org.sat4j.pb.constraints.pb.MaxWatchPb: Propagation of a falsified literal
propagate(UnitPropagationListener, int) - Method in class org.sat4j.pb.constraints.pb.MaxWatchPbLong: Propagation of a falsified literal
propagate(UnitPropagationListener, int) - Method in class org.sat4j.pb.constraints.pb.MaxWatchPbLongCP: Propagation of a falsified literal
propagate(UnitPropagationListener, int) - Method in class org.sat4j.pb.constraints.pb.MinWatchPb: Propagation of a falsified literal
propagate(UnitPropagationListener, int) - Method in class org.sat4j.pb.constraints.pb.MinWatchPbLong: Propagation of a falsified literal
propagate(UnitPropagationListener, int) - Method in class org.sat4j.pb.constraints.pb.MinWatchPbLongCP: Propagation of a falsified literal
propagate(UnitPropagationListener, int) - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
propagatePI(MandatoryLiteralListener, int) - Method in class org.sat4j.pb.constraints.pb.MaxWatchPb
propagatePI(MandatoryLiteralListener, int) - Method in class org.sat4j.pb.constraints.pb.MaxWatchPbLong
propagatePI(MandatoryLiteralListener, int) - Method in class org.sat4j.pb.constraints.pb.MinWatchPb
propagatePI(MandatoryLiteralListener, int) - Method in class org.sat4j.pb.constraints.pb.MinWatchPbLong
propagatePI(MandatoryLiteralListener, int) - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
PSEUDO_PATTERN - Static variable in class org.sat4j.pb.reader.JSONPBReader
PseudoIteratorDecorator - Class in org.sat4j.pb: A decorator that computes all pseudo boolean models.
PseudoIteratorDecorator(IPBSolver) - Constructor for class org.sat4j.pb.PseudoIteratorDecorator
PseudoOptDecorator - Class in org.sat4j.pb: A decorator that computes minimal pseudo boolean models.
PseudoOptDecorator(IPBSolver) - Constructor for class org.sat4j.pb.PseudoOptDecorator: Create a PB decorator for which a non optimal solution means that the problem is satisfiable.
PseudoOptDecorator(IPBSolver, boolean) - Constructor for class org.sat4j.pb.PseudoOptDecorator: Create a PB decorator with a specific semantic of non optimal solution.
PseudoOptDecorator(IPBSolver, boolean, boolean) - Constructor for class org.sat4j.pb.PseudoOptDecorator: Create a PB decorator with a specific semantic of non optimal solution.
Pseudos - Class in org.sat4j.pb.constraints.pb
Pseudos() - Constructor for class org.sat4j.pb.constraints.pb.Pseudos
PuebloMinWatchPb - Class in org.sat4j.pb.constraints.pb
PuebloMinWatchPBConstructor - Class in org.sat4j.pb.constraints
PuebloMinWatchPBConstructor() - Constructor for class org.sat4j.pb.constraints.PuebloMinWatchPBConstructor
PuebloPBMinClauseAtLeastConstrDataStructure - Class in org.sat4j.pb.constraints
PuebloPBMinClauseAtLeastConstrDataStructure() - Constructor for class org.sat4j.pb.constraints.PuebloPBMinClauseAtLeastConstrDataStructure
PuebloPBMinClauseCardConstrDataStructure - Class in org.sat4j.pb.constraints
PuebloPBMinClauseCardConstrDataStructure() - Constructor for class org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure
PuebloPBMinDataStructure - Class in org.sat4j.pb.constraints
PuebloPBMinDataStructure() - Constructor for class org.sat4j.pb.constraints.PuebloPBMinDataStructure
push(long) - Method in class org.sat4j.pb.restarts.BigIntegerCircularBuffer
push(BigInteger) - Method in class org.sat4j.pb.restarts.BigIntegerCircularBuffer
putback(char) - Method in class org.sat4j.pb.reader.OPBReader2005: put back a character into the stream (only one chr can be put back)

R

RandomWalkDecoratorObjective - Class in org.sat4j.pb.orders
RandomWalkDecoratorObjective(VarOrderHeapObjective, double) - Constructor for class org.sat4j.pb.orders.RandomWalkDecoratorObjective
RatioCoefficientsDegreeLBDComputerStrategy - Class in org.sat4j.pb.lcds
RatioCoefficientsDegreeLBDComputerStrategy() - Constructor for class org.sat4j.pb.lcds.RatioCoefficientsDegreeLBDComputerStrategy
readConstraint() - Method in class org.sat4j.pb.reader.OPBReader2005: read a constraint calls beginConstraint, constraintTerm and endConstraint
readIdentifier(StringBuilder) - Method in class org.sat4j.pb.reader.OPBReader2005: read an identifier from stream and store it in s
readInteger(StringBuilder) - Method in class org.sat4j.pb.reader.OPBReader2005: read a integer from file
readMetaData() - Method in class org.sat4j.pb.reader.OPBReader2005: read the first comment line to get the number of variables and the number of constraints in the file calls metaData with the data that was read
readMetaData() - Method in class org.sat4j.pb.reader.OPBReader2007: read the first comment line to get the number of variables and the number of constraints in the file calls metaData with the data that was read
readMetaData() - Method in class org.sat4j.pb.reader.OPBReader2010: read the first comment line to get the number of variables and the number of constraints in the file calls metaData with the data that was read
readMetaData() - Method in class org.sat4j.pb.reader.OPBReader2012
readObjective() - Method in class org.sat4j.pb.reader.OPBReader2005: read the objective line (if any) calls beginObjective, objectiveTerm and endObjective
readObjective() - Method in class org.sat4j.pb.reader.OPBReader2010
readObjective() - Method in class org.sat4j.pb.reader.OPBReader2012
readProblem(String) - Method in class org.sat4j.pb.LanceurPseudo2005
readTerm(StringBuilder, StringBuilder) - Method in class org.sat4j.pb.reader.OPBReader2005: read a term into coeff and var
readTerm(StringBuilder, StringBuilder) - Method in class org.sat4j.pb.reader.OPBReader2006: read a term into coeff and var
readTerm(StringBuilder, StringBuilder) - Method in class org.sat4j.pb.reader.OPBReader2007
readVariablesExplanation() - Method in class org.sat4j.pb.reader.OPBEclipseReader2007: read the list for variables explanation (if any) calls beginListOfVariables and endListOfVariables
readVariablesExplanation() - Method in class org.sat4j.pb.reader.OPBReader2005
readWord() - Method in class org.sat4j.pb.reader.OPBReader2005: read a word from file
realNumberOfVariables() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
realNumberOfVariables() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
reduce(IVec<Constr>) - Method in class org.sat4j.pb.lcds.NullLCDS
reduceCoeffsByGCD() - Method in class org.sat4j.pb.constraints.pb.MapPb
reduceCoeffsByPower2() - Method in interface org.sat4j.pb.constraints.pb.IDataStructurePB
reduceCoeffsByPower2() - Method in class org.sat4j.pb.constraints.pb.MapPb
reduceConflict(ConflictMapDivideByPivot, int) - Method in interface org.sat4j.pb.constraints.pb.IReduceConflictStrategy: Reduces the conflict w.r.t. the implied literal.
reduceConflict(ConflictMapDivideByPivot, int) - Method in class org.sat4j.pb.constraints.pb.NoReduceConflict
ReduceConflict - Class in org.sat4j.pb.constraints.pb
reduceConflict(ConflictMapDivideByPivot, int) - Method in class org.sat4j.pb.constraints.pb.ReduceConflict
reduceInConstraint(IWatchPb, BigInteger[], int, BigInteger, BigInteger) - Method in class org.sat4j.pb.constraints.pb.ConflictMap: constraint reduction : removes a literal of the constraint.
reduceInConstraint(IWatchPb, BigInteger[], int, BigInteger, BigInteger) - Method in class org.sat4j.pb.constraints.pb.ConflictMapMinimizeWeakening
reduceInConstraint(IWatchPb, BigInteger[], int, BigInteger, BigInteger) - Method in interface org.sat4j.pb.constraints.pb.IConflict: Reduction d'une contrainte On supprime un litteral non assigne prioritairement, vrai sinon.
reduceUntilConflict(int, int, BigInteger[], BigInteger, IWatchPb) - Method in class org.sat4j.pb.constraints.pb.ConflictMap
reduceUntilConflict(int, int, BigInteger[], BigInteger, IWatchPb) - Method in class org.sat4j.pb.constraints.pb.ConflictMapClause: reduces the constraint defined by wpb until the result of the cutting plane is a conflict. this reduction returns a clause.
reduceUntilConflict(int, int, BigInteger[], BigInteger, IWatchPb) - Method in class org.sat4j.pb.constraints.pb.ConflictMapDivideByPivot: Divides the constraint so as to get a coefficient equal to BigInteger#ONE for litImplied.
reduceUntilConflict(int, int, BigInteger[], BigInteger, IWatchPb) - Method in class org.sat4j.pb.constraints.pb.ConflictMapReduceToCard: reduces the constraint defined by wpb until the result of the cutting plane is a conflict. this reduction returns a cardinality.
reduceUntilConflict(int, int, BigInteger[], BigInteger, IWatchPb) - Method in class org.sat4j.pb.constraints.pb.ConflictMapReduceToClause
reduceUntilConflict(int, int, BigInteger[], BigInteger, IWatchPb) - Method in class org.sat4j.pb.constraints.pb.ConflictMapRounding
reduceUntilConflict(int, int, BigInteger[], BigInteger, IWatchPb) - Method in class org.sat4j.pb.constraints.pb.ConflictMapSwitchToClause: reduces the constraint defined by wpb until the result of the cutting plane is a conflict. this reduction returns either a clause if .
reduceUntilConflict(int, int, BigInteger[], BigInteger, IWatchPb) - Method in class org.sat4j.pb.constraints.pb.ConflictMapWeakenReason: Divides the constraint so as to get a coefficient equal to BigInteger#ONE for litImplied.
reduceUntilConflict(int, int, BigInteger[], BigInteger, IWatchPb) - Method in class org.sat4j.pb.constraints.pb.ConflictMapWeakenToClash: Divides the constraint so as to get a coefficient equal to BigInteger#ONE for litImplied.
register() - Method in class org.sat4j.pb.constraints.pb.MinWatchCardPB
register() - Method in class org.sat4j.pb.constraints.pb.WatchPb
register() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
register() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
registerLiteral(int) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
registerLiteral(int) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
remainingAtLeastCards() - Method in class org.sat4j.pb.tools.CardConstrFinder
remove(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.MaxWatchPb: Remove a constraint from the solver
remove(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.MaxWatchPbLong: Remove a constraint from the solver
remove(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.MaxWatchPbLongCP: Remove a constraint from the solver
remove(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.MinWatchPb: Remove the constraint from the solver
remove(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.MinWatchPbLong: Remove the constraint from the solver
remove(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.MinWatchPbLongCP: Remove the constraint from the solver
remove(UnitPropagationListener) - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
remove() - Method in class org.sat4j.pb.tools.CardConstrFinder
remove() - Method in class org.sat4j.pb.tools.CombinationIterator
removeConstr(IConstr) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
removeConstr(IConstr) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
removeConstr(IConstr) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
removeSatisfiedLiteralsFromHigherDecisionLevels(IWatchPb, BigInteger[], int, BigInteger) - Method in interface org.sat4j.pb.constraints.pb.IRemoveSatisfiedLiterals
removeSubsumedConstr(IConstr) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
removeSubsumedConstr(IConstr) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
removeSubsumedOptConstr() - Method in class org.sat4j.pb.PseudoOptDecorator
requiredNumberOfSatisfiedLiterals() - Method in class org.sat4j.pb.constraints.pb.WatchPb
requiredNumberOfSatisfiedLiterals() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
requiredNumberOfSatisfiedLiterals() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
rescaleBy(double) - Method in class org.sat4j.pb.constraints.pb.WatchPb: to re-scale the activity of the constraint
rescaleBy(double) - Method in class org.sat4j.pb.constraints.pb.WatchPbLong: to re-scale the activity of the constraint
rescaleBy(double) - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP: to re-scale the activity of the constraint
reset() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
reset() - Method in class org.sat4j.pb.core.PBSolverStats
reset() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
reset() - Method in class org.sat4j.pb.PseudoOptDecorator
reset() - Method in class org.sat4j.pb.restarts.GrowingCoefficientRestarts
reset() - Method in class org.sat4j.pb.restarts.MixedRestartsStrategy
reset() - Method in class org.sat4j.pb.tools.DependencyHelper: Reset the state of the helper (mapping, objective function, etc).
reset() - Method in class org.sat4j.pb.tools.OptimalModelIterator
resolve(PBConstr, int, VarActivityListener) - Method in class org.sat4j.pb.constraints.pb.ConflictMap: computes a cutting plane with a pseudo-boolean constraint. this method updates the current instance (of ConflictMap).
resolve(PBConstr, int, VarActivityListener) - Method in class org.sat4j.pb.constraints.pb.ConflictMapMinimizeWeakening
resolve(PBConstr, int, VarActivityListener) - Method in interface org.sat4j.pb.constraints.pb.IConflict: Effectue une resolution avec une contrainte PB.
rissPreprocessing(String, String) - Method in class org.sat4j.pb.tools.CardConstrFinder

S

SAT4J_MAX_BIG_INTEGER - Static variable in class org.sat4j.pb.reader.OPBReader2010
SATISFIED_FIRST - Static variable in interface org.sat4j.pb.constraints.pb.IWeakeningStrategy
saturation(BigInteger[], BigInteger, IWatchPb) - Method in class org.sat4j.pb.constraints.pb.ConflictMap
saturation() - Method in interface org.sat4j.pb.constraints.pb.IDataStructurePB
saturation() - Method in class org.sat4j.pb.constraints.pb.MapPb
searchCardFromAtMostCard(IVecInt, int) - Method in class org.sat4j.pb.tools.CardConstrFinder
searchCardFromClause(IVecInt) - Method in class org.sat4j.pb.tools.CardConstrFinder
searchCardFromClause(IVecInt) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
searchCards() - Method in class org.sat4j.pb.tools.CardConstrFinder
SearchOptimizerListener - Class in org.sat4j.pb.tools
SearchOptimizerListener(SolutionFoundListener) - Constructor for class org.sat4j.pb.tools.SearchOptimizerListener
setActivity(double) - Method in class org.sat4j.pb.constraints.pb.WatchPb
setActivity(double) - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
setActivity(double) - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
setAuthorizedExtLits(IVecInt) - Method in class org.sat4j.pb.tools.CardConstrFinder
setAuthorizedExtLits(IVecInt) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
setAutoDivisionStrategy(AutoDivisionStrategy) - Method in class org.sat4j.pb.core.PBSolverCP
setBumper(IBumper) - Method in class org.sat4j.pb.core.PBSolverCP
setBumpStrategy(BumpStrategy) - Method in class org.sat4j.pb.core.PBSolverCP
setConflictFactory(IConflictFactory) - Method in class org.sat4j.pb.core.PBSolverCP
setCorrection(BigInteger) - Method in class org.sat4j.pb.ObjectiveFunction: Deprecated.
setCorrectionFactor(BigInteger) - Method in class org.sat4j.pb.ObjectiveFunction
setCorrectionOffset(BigInteger) - Method in class org.sat4j.pb.ObjectiveFunction
setDBSimplificationAllowed(boolean) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
setDBSimplificationAllowed(boolean) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
setDecisionLevel(int) - Method in class org.sat4j.pb.constraints.pb.ConflictMap
setDecisionLevel(int) - Method in interface org.sat4j.pb.constraints.pb.IConflict
setDetectCardFromAllConstraintsInCflAnalysis(boolean) - Method in class org.sat4j.pb.tools.InprocCardConstrLearningSolver
setExpectedNumberOfClauses(int) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
setExpectedNumberOfClauses(int) - Method in class org.sat4j.pb.LPStringSolver
setExpectedNumberOfClauses(int) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
setExpectedNumberOfClauses(int) - Method in class org.sat4j.pb.OPBStringSolver
setExpectedNumberOfClauses(int) - Method in class org.sat4j.pb.UserFriendlyPBStringSolver
setFalse(T, C) - Method in class org.sat4j.pb.tools.DependencyHelper: Add a constraint to set the value of a domain object to false.
setGlobalObj() - Method in class org.sat4j.pb.multiobjective.AbstractLinMultiObjOptimizer: Implement this method to set a global linear objective function, which depends on the added objective functions and the initialization-added constraints.
setGlobalObj() - Method in class org.sat4j.pb.multiobjective.MinSumOWAOptimizer
setGlobalObj() - Method in class org.sat4j.pb.multiobjective.OrderedObjsOWAOptimizer
setInitConstraints() - Method in class org.sat4j.pb.multiobjective.AbstractLinMultiObjOptimizer: Implement this method to add some constraints before the first call to the solver.
setInitConstraints() - Method in class org.sat4j.pb.multiobjective.LeximinDecorator
setInitConstraints() - Method in class org.sat4j.pb.multiobjective.MinSumOWAOptimizer
setInitConstraints() - Method in class org.sat4j.pb.multiobjective.OrderedObjsOWAOptimizer
setInitConstraints() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
setInstance(String) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
setKeepSolverHot(boolean) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
setKeepSolverHot(boolean) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
setLearnt() - Method in class org.sat4j.pb.constraints.pb.AtLeastPB
setLearnt() - Method in class org.sat4j.pb.constraints.pb.MinWatchCardPB
setLearnt() - Method in class org.sat4j.pb.constraints.pb.WatchPb: the constraint is learnt
setLearnt() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong: the constraint is learnt
setLearnt() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP: the constraint is learnt
setListOfVariablesForExplanation(IVecInt) - Method in class org.sat4j.pb.LPStringSolver
setListOfVariablesForExplanation(IVecInt) - Method in class org.sat4j.pb.OPBStringSolver
setListOfVariablesForExplanation(IVecInt) - Method in class org.sat4j.pb.UserFriendlyPBStringSolver
setLogPrefix(String) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
setLogPrefix(String) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
setMapping(Map<Integer, T>) - Method in class org.sat4j.pb.UserFriendlyPBStringSolver
setMaxRemoved(BigInteger) - Method in class org.sat4j.pb.core.PBSolverStats
setMinRemoved(BigInteger) - Method in class org.sat4j.pb.core.PBSolverStats
setNegator(INegator) - Method in class org.sat4j.pb.tools.DependencyHelper
setNoRemove(boolean) - Method in class org.sat4j.pb.core.PBSolverCP
setNormalizer(String) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory
setNormalizer(AbstractPBDataStructureFactory.INormalizer) - Method in class org.sat4j.pb.constraints.AbstractPBDataStructureFactory
setObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
setObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.core.PBSolver
setObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.GroupPBSelectorSolver
setObjectiveFunction(ObjectiveFunction) - Method in interface org.sat4j.pb.IPBSolver: Provide an objective function to the solver.
setObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.LPStringSolver
setObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.multiobjective.AbstractLinMultiObjOptimizer
setObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
setObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.OPBStringSolver
setObjectiveFunction(ObjectiveFunction) - Method in interface org.sat4j.pb.orders.IOrderObjective
setObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.orders.LevelBasedVarOrderHeapObjective
setObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.orders.RandomWalkDecoratorObjective
setObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.orders.VarOrderHeapObjective
setObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.PBSolverDecorator
setObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.PseudoOptDecorator
setObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.tools.ClausalConstraintsDecorator
setObjectiveFunction(WeightedObject<T>...) - Method in class org.sat4j.pb.tools.DependencyHelper: Add an objective function to ask for a solution that minimize the objective function.
setObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.tools.LexicoDecoratorPB
setObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.tools.ManyCorePB
setObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.tools.PBAdapter
setObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.tools.XplainPB
setObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.UserFriendlyPBStringSolver
setPostprocess(IPostProcess) - Method in class org.sat4j.pb.core.PBSolverCP
setPreprocess(IPreProcess) - Method in class org.sat4j.pb.core.PBSolverCP
setPreprocessing(boolean) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
setPrintCards(boolean) - Method in class org.sat4j.pb.tools.CardConstrFinder
setPrintCards(boolean) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
setRissLocation(String) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
setSearchListener(SearchListener<S>) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
setSearchListener(SearchListener<S>) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
setSearchListener(SearchListener<I>) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
setSkipAllow(SkipStrategy) - Method in class org.sat4j.pb.core.PBSolverCP
setSolutionFoundListener(SolutionFoundListener) - Method in class org.sat4j.pb.OptToPBSATAdapter
setTimeout(int) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
setTimeout(int) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
setTimeout(int) - Method in class org.sat4j.pb.PBTimeoutIsolator
setTimeout(int) - Method in class org.sat4j.pb.PseudoOptDecorator
setTimeoutForFindingBetterSolution(int) - Method in class org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator
setTimeoutForFindingBetterSolution(int) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
setTimeoutForFindingBetterSolution(int) - Method in class org.sat4j.pb.OptToPBSATAdapter: Allow to set a specific timeout when the solver is in optimization mode.
setTimeoutForFindingBetterSolution(int) - Method in class org.sat4j.pb.PBSolverHandle
setTimeoutForFindingBetterSolution(int) - Method in class org.sat4j.pb.PseudoOptDecorator
setTimeoutMs(long) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
setTimeoutMs(long) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
setTimeoutMs(long) - Method in class org.sat4j.pb.PBTimeoutIsolator
setTimeoutOnConflicts(int) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
setTimeoutOnConflicts(int) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
setTimeoutOnConflicts(int) - Method in class org.sat4j.pb.PBTimeoutIsolator
setTrue(T, C) - Method in class org.sat4j.pb.tools.DependencyHelper: Add a constraint to set the value of a domain object to true.
setUnitClauseConsumer(UnitClauseConsumer) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
setUnitClauseConsumer(UnitClauseConsumer) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
setUnitClauseProvider(UnitClauseProvider) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
setUnitClauseProvider(UnitClauseProvider) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
setUpperBound(int) - Static method in class org.sat4j.pb.constraints.pb.ConflictMapSwitchToClause
setVerbose(boolean) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
setVerbose(boolean) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
setVerbose(boolean) - Method in class org.sat4j.pb.tools.CardConstrFinder
setVerbose(boolean) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
setWeakeningStrategy(IWeakeningStrategy) - Method in class org.sat4j.pb.core.PBSolverCP
shouldRestart() - Method in class org.sat4j.pb.restarts.GrowingCoefficientRestarts
shouldRestart() - Method in class org.sat4j.pb.restarts.MixedRestartsStrategy
simplify() - Method in class org.sat4j.pb.constraints.pb.WatchPb: simplify the constraint (if it is satisfied)
simplify() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong: simplify the constraint (if it is satisfied)
simplify() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP: simplify the constraint (if it is satisfied)
size() - Method in interface org.sat4j.pb.constraints.pb.IDataStructurePB
size() - Method in class org.sat4j.pb.constraints.pb.MapPb
size() - Method in class org.sat4j.pb.constraints.pb.WatchPb
size() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
size() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
skip(ConflictMap, int) - Method in enum org.sat4j.pb.constraints.pb.SkipStrategy
skipSpaces() - Method in class org.sat4j.pb.reader.OPBReader2005: skip white spaces, including newlines
SkipStrategy - Enum in org.sat4j.pb.constraints.pb
slackConflict() - Method in class org.sat4j.pb.constraints.pb.ConflictMap: computes the slack of the current instance
slackConflict() - Method in interface org.sat4j.pb.constraints.pb.IConflict
slackConstraint(BigInteger[], BigInteger) - Method in interface org.sat4j.pb.constraints.pb.IWatchPb
slackConstraint() - Method in class org.sat4j.pb.constraints.pb.WatchPb: compute the slack of the current constraint slack = poss - degree of the constraint
slackConstraint(BigInteger[], BigInteger) - Method in class org.sat4j.pb.constraints.pb.WatchPb: compute the slack of a described constraint slack = poss - degree of the constraint
slackConstraint() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong: compute the slack of the current constraint slack = poss - degree of the constraint
slackConstraint(long[], long) - Method in class org.sat4j.pb.constraints.pb.WatchPbLong: compute the slack of a described constraint slack = poss - degree of the constraint
slackConstraint() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP: compute the slack of the current constraint slack = poss - degree of the constraint
slackConstraint(long[], long) - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP: compute the slack of a described constraint slack = poss - degree of the constraint
slackConstraint(BigInteger[], BigInteger) - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
slackIsCorrect(int) - Method in class org.sat4j.pb.constraints.pb.ConflictMap
slackIsCorrect(int) - Method in interface org.sat4j.pb.constraints.pb.IConflict
SlackLBDComputerStrategy - Class in org.sat4j.pb.lcds
SlackLBDComputerStrategy() - Constructor for class org.sat4j.pb.lcds.SlackLBDComputerStrategy
solutionFound(int[], RandomAccessModel) - Method in class org.sat4j.pb.tools.SearchOptimizerListener
solver - Variable in class org.sat4j.pb.reader.OPBReader2005
SolverFactory - Class in org.sat4j.pb: User friendly access to pre-constructed solvers.
sort() - Method in class org.sat4j.pb.constraints.pb.WatchPb: sort coefficient and literal arrays
sort(int, int) - Method in class org.sat4j.pb.constraints.pb.WatchPb: sort partially coefficient and literal arrays
sort() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong: sort coefficient and literal arrays
sort(int, int) - Method in class org.sat4j.pb.constraints.pb.WatchPbLong: sort partially coefficient and literal arrays
sort() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP: sort coefficient and literal arrays
sort(int, int) - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP: sort partially coefficient and literal arrays
startComputeLBD(PBConstr, int) - Method in class org.sat4j.pb.lcds.AbstractLBDComputerStrategy
startComputeLBD(PBConstr, int) - Method in class org.sat4j.pb.lcds.EffectiveLiteralsOnlyLBDComputerStrategy
startComputeLBD(PBConstr, int) - Method in class org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy
startsMapping() - Method in class org.sat4j.pb.reader.OPBReader2005
SteppedTimeoutLexicoDecoratorPB - Class in org.sat4j.pb.tools
SteppedTimeoutLexicoDecoratorPB(IPBSolver) - Constructor for class org.sat4j.pb.tools.SteppedTimeoutLexicoDecoratorPB
SteppedTimeoutLexicoHelper<T,C> - Class in org.sat4j.pb.tools
SteppedTimeoutLexicoHelper(IPBSolver) - Constructor for class org.sat4j.pb.tools.SteppedTimeoutLexicoHelper
SteppedTimeoutLexicoHelper(IPBSolver, boolean, boolean) - Constructor for class org.sat4j.pb.tools.SteppedTimeoutLexicoHelper
SteppedTimeoutLexicoHelper(IPBSolver, boolean) - Constructor for class org.sat4j.pb.tools.SteppedTimeoutLexicoHelper
stopExplanation() - Method in class org.sat4j.pb.tools.DependencyHelper: Stop the explanation computation.
stopSolver() - Method in class org.sat4j.pb.tools.DependencyHelper: Stop the SAT solver that is looking for a solution.
StringNegator - Class in org.sat4j.pb.tools
sumAllCoefs - Variable in class org.sat4j.pb.constraints.pb.ConflictMap
sumcoefs - Variable in class org.sat4j.pb.constraints.pb.WatchPb
sumcoefs - Variable in class org.sat4j.pb.constraints.pb.WatchPbLong
sumcoefs - Variable in class org.sat4j.pb.constraints.pb.WatchPbLongCP
SumLeximinDecompositionOWAOptimizer - Class in org.sat4j.pb.multiobjective
SumLeximinDecompositionOWAOptimizer(IIntegerPBSolver, int[]) - Constructor for class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
SumLeximinDecompositionOWAOptimizer(IIntegerPBSolver, BigInteger[]) - Constructor for class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
sumOfCoefficients(BigInteger[]) - Static method in class org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure

T

TAUTOLOGY - Static variable in interface org.sat4j.pb.constraints.pb.IDataStructurePB
thing - Variable in class org.sat4j.pb.tools.WeightedObject
timeoutOccured - Variable in class org.sat4j.pb.multiobjective.CriterionOptimumComputer
timeoutOccured() - Method in class org.sat4j.pb.multiobjective.CriterionOptimumComputer
toAtLeast() - Method in class org.sat4j.pb.tools.AtMostCard
toAtMost() - Method in class org.sat4j.pb.tools.AtLeastCard
toBigInt(int) - Static method in class org.sat4j.pb.constraints.pb.Pseudos
toConstraint() - Method in class org.sat4j.pb.constraints.pb.WatchPb
toConstraint() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
toConstraint() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
toLong(BigInteger[]) - Static method in class org.sat4j.pb.constraints.pb.WatchPbLong
toLong(BigInteger[]) - Static method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
toMap() - Method in class org.sat4j.pb.ObjectiveFunction
toString(String) - Method in class org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator
toString() - Method in enum org.sat4j.pb.constraints.pb.AutoDivisionStrategy
toString() - Method in class org.sat4j.pb.constraints.pb.ConflictMap
toString() - Method in class org.sat4j.pb.constraints.pb.MapPb
toString() - Method in class org.sat4j.pb.constraints.pb.NoPostProcess
toString() - Method in class org.sat4j.pb.constraints.pb.NoPreProcess
toString() - Method in class org.sat4j.pb.constraints.pb.PostProcessDivideBy2
toString() - Method in class org.sat4j.pb.constraints.pb.PostProcessDivideByGCD
toString() - Method in class org.sat4j.pb.constraints.pb.PostProcessToCard
toString() - Method in class org.sat4j.pb.constraints.pb.PostProcessToClause
toString() - Method in class org.sat4j.pb.constraints.pb.PreProcessReduceConflict
toString() - Method in class org.sat4j.pb.constraints.pb.WatchPb
toString(VarMapper) - Method in class org.sat4j.pb.constraints.pb.WatchPb
toString() - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
toString(VarMapper) - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
toString() - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
toString(VarMapper) - Method in class org.sat4j.pb.constraints.pb.WatchPbLongCP
toString(String) - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
toString(String) - Method in class org.sat4j.pb.core.PBSolverCautious
toString(String) - Method in class org.sat4j.pb.core.PBSolverClause
toString(String) - Method in class org.sat4j.pb.core.PBSolverCP
toString(String) - Method in class org.sat4j.pb.core.PBSolverCPCardLearning
toString(String) - Method in class org.sat4j.pb.core.PBSolverCPClauseLearning
toString(String) - Method in class org.sat4j.pb.core.PBSolverCPLong
toString(String) - Method in class org.sat4j.pb.core.PBSolverCPLongDivideBy2
toString(String) - Method in class org.sat4j.pb.core.PBSolverCPLongDivideByGCD
toString(String) - Method in class org.sat4j.pb.core.PBSolverCPLongReduceToCard
toString(String) - Method in class org.sat4j.pb.core.PBSolverCPLongRounding
toString(String) - Method in class org.sat4j.pb.core.PBSolverCPReduceByGCD
toString(String) - Method in class org.sat4j.pb.core.PBSolverCPReduceByPowersOf2
toString(String) - Method in class org.sat4j.pb.core.PBSolverWithImpliedClause
toString() - Method in class org.sat4j.pb.lcds.PBGlucoseLCDS
toString() - Method in class org.sat4j.pb.LPStringSolver
toString(String) - Method in class org.sat4j.pb.LPStringSolver
toString(String) - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
toString() - Method in class org.sat4j.pb.ObjectiveFunction
toString() - Method in class org.sat4j.pb.OPBStringSolver
toString(String) - Method in class org.sat4j.pb.OPBStringSolver
toString(String) - Method in class org.sat4j.pb.OptToPBSATAdapter
toString() - Method in class org.sat4j.pb.orders.BumperEffective
toString() - Method in class org.sat4j.pb.orders.BumperEffectiveAndPropagated
toString() - Method in class org.sat4j.pb.orders.LevelBasedVarOrderHeapObjective
toString() - Method in class org.sat4j.pb.orders.VarOrderHeapObjective
toString(String) - Method in class org.sat4j.pb.PseudoOptDecorator
toString() - Method in class org.sat4j.pb.restarts.GrowingCoefficientRestarts
toString() - Method in class org.sat4j.pb.restarts.MixedRestartsStrategy
toString() - Method in class org.sat4j.pb.tools.AtLeastCard
toString() - Method in class org.sat4j.pb.tools.AtMostCard
toString(String) - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
toString() - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
toString() - Method in class org.sat4j.pb.tools.SearchOptimizerListener
toString() - Method in class org.sat4j.pb.UserFriendlyPBStringSolver
toString(String) - Method in class org.sat4j.pb.UserFriendlyPBStringSolver
toVecBigInt(IVecInt) - Static method in class org.sat4j.pb.constraints.pb.Pseudos
translateVarToId(String) - Method in class org.sat4j.pb.reader.OPBReader2005
translateVarToId(String) - Method in class org.sat4j.pb.reader.OPBReader2007

U

UNASSIGNED_FIRST - Static variable in interface org.sat4j.pb.constraints.pb.IWeakeningStrategy
unassignedLiteral(ILits, PBConstr, int) - Method in class org.sat4j.pb.lcds.AbstractLBDComputerStrategy
unassignedLiteral(ILits, PBConstr, int) - Method in class org.sat4j.pb.lcds.EffectiveLiteralsOnlyLBDComputerStrategy
unassignedLiteral(ILits, PBConstr, int) - Method in class org.sat4j.pb.lcds.FalsifiedLiteralsOnlyLBDComputerStrategy
unassignedLiteral(ILits, PBConstr, int) - Method in class org.sat4j.pb.lcds.IgnoreUnassignedLiteralsLBDComputerStrategy
unassignedLiteral(ILits, PBConstr, int) - Method in class org.sat4j.pb.lcds.UnassignedLiteralsHaveDifferentLevelLBDComputerStrategy
unassignedLiteral(ILits, PBConstr, int) - Method in class org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy
UnassignedLiteralsHaveDifferentLevelLBDComputerStrategy - Class in org.sat4j.pb.lcds
UnassignedLiteralsHaveDifferentLevelLBDComputerStrategy() - Constructor for class org.sat4j.pb.lcds.UnassignedLiteralsHaveDifferentLevelLBDComputerStrategy
UnassignedLiteralsHaveSameLevelLBDComputerStrategy - Class in org.sat4j.pb.lcds
UnassignedLiteralsHaveSameLevelLBDComputerStrategy() - Constructor for class org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy
undo(int) - Method in class org.sat4j.pb.constraints.pb.MaxWatchPb: this method is called during backtrack
undo(int) - Method in class org.sat4j.pb.constraints.pb.MaxWatchPbLong: this method is called during backtrack
undo(int) - Method in class org.sat4j.pb.constraints.pb.MaxWatchPbLongCP: this method is called during backtrack
undo(int) - Method in class org.sat4j.pb.constraints.pb.MinWatchPb: this method is called during backtrack
undo(int) - Method in class org.sat4j.pb.constraints.pb.MinWatchPbLong: this method is called during backtrack
undo(int) - Method in class org.sat4j.pb.constraints.pb.MinWatchPbLongCP: this method is called during backtrack
undo(int) - Method in class org.sat4j.pb.constraints.pb.WatchPbLong
undoOne(int) - Method in class org.sat4j.pb.constraints.pb.ConflictMap
undoOne(int) - Method in interface org.sat4j.pb.constraints.pb.IConflict
UnitBinaryHTClauseConstructor - Class in org.sat4j.pb.constraints
UnitBinaryHTClauseConstructor() - Constructor for class org.sat4j.pb.constraints.UnitBinaryHTClauseConstructor
UnitBinaryHTClausePBConstructor - Class in org.sat4j.pb.constraints
UnitBinaryHTClausePBConstructor() - Constructor for class org.sat4j.pb.constraints.UnitBinaryHTClausePBConstructor
UnitBinaryWLClauseConstructor - Class in org.sat4j.pb.constraints
UnitBinaryWLClauseConstructor() - Constructor for class org.sat4j.pb.constraints.UnitBinaryWLClauseConstructor
UnitClausePB - Class in org.sat4j.pb.constraints.pb
UnitClausePB(int, ILits) - Constructor for class org.sat4j.pb.constraints.pb.UnitClausePB
UnitClausePB(int, boolean, ILits) - Constructor for class org.sat4j.pb.constraints.pb.UnitClausePB
UnitClausesPB - Class in org.sat4j.pb.constraints.pb
UnitClausesPB(IVecInt) - Constructor for class org.sat4j.pb.constraints.pb.UnitClausesPB
UnitConciseBinaryWLClauseConstructor - Class in org.sat4j.pb.constraints
UnitConciseBinaryWLClauseConstructor() - Constructor for class org.sat4j.pb.constraints.UnitConciseBinaryWLClauseConstructor
unNegate(Object) - Method in interface org.sat4j.pb.tools.INegator
unNegate(Object) - Method in class org.sat4j.pb.tools.StringNegator
unsatExplanation() - Method in class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
unsatExplanation() - Method in class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer
unsatExplanation() - Method in class org.sat4j.pb.tools.PreprocCardConstrLearningSolver
updateNumberOfReducedLearnedConstraints(IConflict) - Method in class org.sat4j.pb.core.PBSolverCautious
updateNumberOfReducedLearnedConstraints(IConflict) - Method in class org.sat4j.pb.core.PBSolverCP
updateNumberOfReductions(IConflict) - Method in class org.sat4j.pb.core.PBSolverCautious
updateNumberOfReductions(IConflict) - Method in class org.sat4j.pb.core.PBSolverCP
updateSlack(int) - Method in class org.sat4j.pb.constraints.pb.ConflictMap
updateSlack(int) - Method in interface org.sat4j.pb.constraints.pb.IConflict
updateWatched(BigInteger, int) - Method in class org.sat4j.pb.constraints.pb.MinWatchPb: update arrays watched and watching w.r.t. the propagation of a literal.
updateWatched(long, int) - Method in class org.sat4j.pb.constraints.pb.MinWatchPbLong: update arrays watched and watching w.r.t. the propagation of a literal.
updateWatched(long, int) - Method in class org.sat4j.pb.constraints.pb.MinWatchPbLongCP: update arrays watched and watching w.r.t. the propagation of a literal.
updateWatched(BigInteger, int) - Method in class org.sat4j.pb.constraints.pb.PuebloMinWatchPb
usage() - Method in class org.sat4j.pb.LanceurPseudo2005
UserFriendlyPBStringSolver<T> - Class in org.sat4j.pb: Solver to display SAT instances using domain objects names instead of Dimacs numbers.
UserFriendlyPBStringSolver() - Constructor for class org.sat4j.pb.UserFriendlyPBStringSolver
UserFriendlyPBStringSolver(int) - Constructor for class org.sat4j.pb.UserFriendlyPBStringSolver

V

valueOf(String) - Static method in enum org.sat4j.pb.constraints.pb.AutoDivisionStrategy: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sat4j.pb.constraints.pb.DivisionStrategy: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sat4j.pb.constraints.pb.SkipStrategy: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sat4j.pb.orders.Bumper: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sat4j.pb.orders.BumpStrategy: Returns the enum constant of this type with the specified name.
values() - Static method in enum org.sat4j.pb.constraints.pb.AutoDivisionStrategy: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sat4j.pb.constraints.pb.DivisionStrategy: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sat4j.pb.constraints.pb.SkipStrategy: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sat4j.pb.orders.Bumper: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sat4j.pb.orders.BumpStrategy: Returns an array containing the constants of this enum type, in the order they are declared.
varBumpActivity(Constr, int, int) - Method in class org.sat4j.pb.core.PBSolverCP
varBumpActivity(ILits, BumpStrategy, IOrder, PBConstr, int, int) - Method in enum org.sat4j.pb.orders.Bumper
varBumpActivity(ILits, BumpStrategy, IOrder, PBConstr, int, int) - Method in class org.sat4j.pb.orders.BumperEffective
varBumpActivity(ILits, BumpStrategy, IOrder, PBConstr, int, int) - Method in class org.sat4j.pb.orders.BumperEffectiveAndPropagated
varBumpActivity(IOrder, PBConstr, int) - Method in enum org.sat4j.pb.orders.BumpStrategy
varBumpActivity(ILits, BumpStrategy, IOrder, PBConstr, int, int) - Method in class org.sat4j.pb.orders.DoubleBumpClashingLiteralsDecorator
varBumpActivity(ILits, BumpStrategy, IOrder, PBConstr, int, int) - Method in interface org.sat4j.pb.orders.IBumper
VarOrderHeapObjective - Class in org.sat4j.pb.orders
VarOrderHeapObjective() - Constructor for class org.sat4j.pb.orders.VarOrderHeapObjective
VarOrderHeapObjective(IPhaseSelectionStrategy) - Constructor for class org.sat4j.pb.orders.VarOrderHeapObjective
voc - Variable in class org.sat4j.pb.constraints.pb.WatchPb: constraint's vocabulary
voc - Variable in class org.sat4j.pb.constraints.pb.WatchPbLong: constraint's vocabulary
voc - Variable in class org.sat4j.pb.constraints.pb.WatchPbLongCP: constraint's vocabulary

W

waitForSolvers() - Method in class org.sat4j.pb.multiobjective.CriterionOptimumComputer
watchCumul - Variable in class org.sat4j.pb.constraints.pb.MinWatchPb: sum of the coefficients of the literals satisfied or unvalued
watchCumul - Variable in class org.sat4j.pb.constraints.pb.MinWatchPbLong: sum of the coefficients of the literals satisfied or unvalued
watchCumul - Variable in class org.sat4j.pb.constraints.pb.MinWatchPbLongCP: sum of the coefficients of the literals satisfied or unvalued
watched - Variable in class org.sat4j.pb.constraints.pb.MinWatchPb: is the literal of index i watching the constraint ?
watched - Variable in class org.sat4j.pb.constraints.pb.MinWatchPbLong: is the literal of index i watching the constraint ?
watched - Variable in class org.sat4j.pb.constraints.pb.MinWatchPbLongCP: is the literal of index i watching the constraint ?
watching - Variable in class org.sat4j.pb.constraints.pb.MinWatchPb: indexes of literals watching the constraint
watching - Variable in class org.sat4j.pb.constraints.pb.MinWatchPbLong: indexes of literals watching the constraint
watching - Variable in class org.sat4j.pb.constraints.pb.MinWatchPbLongCP: indexes of literals watching the constraint
watchingCount - Variable in class org.sat4j.pb.constraints.pb.MinWatchPb: number of literals watching the constraint.
watchingCount - Variable in class org.sat4j.pb.constraints.pb.MinWatchPbLong: number of literals watching the constraint.
watchingCount - Variable in class org.sat4j.pb.constraints.pb.MinWatchPbLongCP: number of literals watching the constraint.
WatchPb - Class in org.sat4j.pb.constraints.pb: Abstract data structure for pseudo-boolean constraint with watched literals.
WatchPbLong - Class in org.sat4j.pb.constraints.pb
WatchPbLongCP - Class in org.sat4j.pb.constraints.pb
WCLAUSE - Static variable in class org.sat4j.pb.reader.JSONPBReader
WCLAUSE_PATTERN - Static variable in class org.sat4j.pb.reader.JSONPBReader
WeightedLBDComputerStrategy - Class in org.sat4j.pb.lcds
WeightedLBDComputerStrategy(ILBDComputerStrategy) - Constructor for class org.sat4j.pb.lcds.WeightedLBDComputerStrategy
weightedLits - Variable in class org.sat4j.pb.constraints.pb.MapPb
WeightedObject<T> - Class in org.sat4j.pb.tools
weights - Variable in class org.sat4j.pb.multiobjective.OrderedObjsOWAOptimizer
why() - Method in class org.sat4j.pb.tools.DependencyHelper: Explain the reason of the inconsistency of the set of constraints.
why(T) - Method in class org.sat4j.pb.tools.DependencyHelper: Explain a domain object has been set to true in a solution.
whyNot(T) - Method in class org.sat4j.pb.tools.DependencyHelper: Explain a domain object has been set to false in a solution.
WLITERAL - Static variable in class org.sat4j.pb.reader.JSONPBReader
WLITERAL_PATTERN - Static variable in class org.sat4j.pb.reader.JSONPBReader

X

XplainPB - Class in org.sat4j.pb.tools
XplainPB(IPBSolver) - Constructor for class org.sat4j.pb.tools.XplainPB

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