A B C D E G H M N O P S T V W X

A

AbstractEZPseudoBooleanAndPigeonHoleTest - Class in org.sat4j.pb.constraints
 
AbstractEZPseudoBooleanAndPigeonHoleTest(String) - Constructor for class org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
Cr?
AbstractPBRandomCardProblemsTest - Class in org.sat4j.pb.constraints
 
AbstractPBRandomCardProblemsTest(String) - Constructor for class org.sat4j.pb.constraints.AbstractPBRandomCardProblemsTest
 
AbstractPBXplainTest - Class in org.sat4j.pb
 
AbstractPBXplainTest() - Constructor for class org.sat4j.pb.AbstractPBXplainTest
 
AbstractPigeonHoleWithCardinalityTest<T extends org.sat4j.specs.ISolver> - Class in org.sat4j.pb.constraints
 
AbstractPigeonHoleWithCardinalityTest(String) - Constructor for class org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest
Cr?
AbstractPseudoBooleanAndPigeonHoleTest - Class in org.sat4j.pb.constraints
 
AbstractPseudoBooleanAndPigeonHoleTest(String) - Constructor for class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
AbstractRandomCardProblemsTest<T extends org.sat4j.specs.ISolver> - Class in org.sat4j.pb.constraints
 
AbstractRandomCardProblemsTest(String) - Constructor for class org.sat4j.pb.constraints.AbstractRandomCardProblemsTest
 
AllTests - Class in org.sat4j.pb.constraints
 
AllTests() - Constructor for class org.sat4j.pb.constraints.AllTests
 

B

BugSat14 - Class in org.sat4j.pb
 
BugSat14() - Constructor for class org.sat4j.pb.BugSat14
 
BugSAT16 - Class in org.sat4j.pb
 
BugSAT16() - Constructor for class org.sat4j.pb.BugSAT16
 
BugSAT21 - Class in org.sat4j.pb
 
BugSAT21() - Constructor for class org.sat4j.pb.BugSAT21
 
BugSAT22 - Class in org.sat4j.pb
 
BugSAT22() - Constructor for class org.sat4j.pb.BugSAT22
 
BugSAT22.Named - Class in org.sat4j.pb
 
BugSAT22.Named(String) - Constructor for class org.sat4j.pb.BugSAT22.Named
 
BugSAT32 - Class in org.sat4j.pb
 
BugSAT32() - Constructor for class org.sat4j.pb.BugSAT32
 
BugSAT34 - Class in org.sat4j.pb
 
BugSAT34(ISolver, String) - Constructor for class org.sat4j.pb.BugSAT34
 
BugSAT35 - Class in org.sat4j.pb
 
BugSAT35() - Constructor for class org.sat4j.pb.BugSAT35
 
BugSAT61 - Class in org.sat4j.pb
 
BugSAT61() - Constructor for class org.sat4j.pb.BugSAT61
 
BugSAT66 - Class in org.sat4j.pb
 
BugSAT66() - Constructor for class org.sat4j.pb.BugSAT66
 
buildHelperWithDefaultConstructor() - Method in class org.sat4j.pb.BugSAT35
 
buildHelperWithExplanationParameterToFalseConstructor() - Method in class org.sat4j.pb.BugSAT35
 
buildHelperWithExplanationParameterToTrueConstructor() - Method in class org.sat4j.pb.BugSAT35
 

C

CompetMinPBResLongWLMixedConstraintsObjectiveLearningTest - Class in org.sat4j.pb.constraints
 
CompetMinPBResLongWLMixedConstraintsObjectiveLearningTest(String) - Constructor for class org.sat4j.pb.constraints.CompetMinPBResLongWLMixedConstraintsObjectiveLearningTest
 
CompetPBResHTMixedConstraintsObjectiveLearningTest - Class in org.sat4j.pb.constraints
 
CompetPBResHTMixedConstraintsObjectiveLearningTest(String) - Constructor for class org.sat4j.pb.constraints.CompetPBResHTMixedConstraintsObjectiveLearningTest
 
CompetPBResLongHTMixedConstraintsObjectiveLearningTest - Class in org.sat4j.pb.constraints
 
CompetPBResLongHTMixedConstraintsObjectiveLearningTest(String) - Constructor for class org.sat4j.pb.constraints.CompetPBResLongHTMixedConstraintsObjectiveLearningTest
 
CompetPBResLongWLMixedConstraintsObjectiveLearningTest - Class in org.sat4j.pb.constraints
 
CompetPBResLongWLMixedConstraintsObjectiveLearningTest(String) - Constructor for class org.sat4j.pb.constraints.CompetPBResLongWLMixedConstraintsObjectiveLearningTest
 
CompetPBResMinHTMixedConstraintsObjectiveLearningTest - Class in org.sat4j.pb.constraints
 
CompetPBResMinHTMixedConstraintsObjectiveLearningTest(String) - Constructor for class org.sat4j.pb.constraints.CompetPBResMinHTMixedConstraintsObjectiveLearningTest
 
Conflict<C> - Class in org.sat4j.pb
 
Conflict(Explanation<C>) - Constructor for class org.sat4j.pb.Conflict
 
constant_vector(BigInteger, int) - Static method in class org.sat4j.pb.MikolasTest
 
CounterPBConstrClauseImpliedWithClauseCardConstrLearning - Class in org.sat4j.pb.constraints
 
CounterPBConstrClauseImpliedWithClauseCardConstrLearning(String) - Constructor for class org.sat4j.pb.constraints.CounterPBConstrClauseImpliedWithClauseCardConstrLearning
 
CounterPBConstrOnRandomCardProblemsTest - Class in org.sat4j.pb.constraints
 
CounterPBConstrOnRandomCardProblemsTest(String) - Constructor for class org.sat4j.pb.constraints.CounterPBConstrOnRandomCardProblemsTest
 
CounterPBConstrWithClauseAtLeastConstrLearningTest - Class in org.sat4j.pb.constraints
 
CounterPBConstrWithClauseAtLeastConstrLearningTest(String) - Constructor for class org.sat4j.pb.constraints.CounterPBConstrWithClauseAtLeastConstrLearningTest
Cr?
CounterPBConstrWithClauseCardConstrLearningTest - Class in org.sat4j.pb.constraints
 
CounterPBConstrWithClauseCardConstrLearningTest(String) - Constructor for class org.sat4j.pb.constraints.CounterPBConstrWithClauseCardConstrLearningTest
 
CounterPBConstrWithClauseLearningTest - Class in org.sat4j.pb.constraints
 
CounterPBConstrWithClauseLearningTest(String) - Constructor for class org.sat4j.pb.constraints.CounterPBConstrWithClauseLearningTest
Cr?
CounterPBConstrWithPBConstrLearningTest - Class in org.sat4j.pb.constraints
 
CounterPBConstrWithPBConstrLearningTest(String) - Constructor for class org.sat4j.pb.constraints.CounterPBConstrWithPBConstrLearningTest
Cr?
CounterPBWithClauseCardConstrLearningReduceToClauseTest - Class in org.sat4j.pb.constraints
 
CounterPBWithClauseCardConstrLearningReduceToClauseTest(String) - Constructor for class org.sat4j.pb.constraints.CounterPBWithClauseCardConstrLearningReduceToClauseTest
 
createInstanceReader(IPBSolver) - Method in class org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
 
createInstanceReader(IPBSolver) - Method in class org.sat4j.pb.constraints.AbstractPBRandomCardProblemsTest
 
createSolver() - Method in class org.sat4j.pb.constraints.CompetMinPBResLongWLMixedConstraintsObjectiveLearningTest
 
createSolver() - Method in class org.sat4j.pb.constraints.CompetPBResHTMixedConstraintsObjectiveLearningTest
 
createSolver() - Method in class org.sat4j.pb.constraints.CompetPBResLongHTMixedConstraintsObjectiveLearningTest
 
createSolver() - Method in class org.sat4j.pb.constraints.CompetPBResLongWLMixedConstraintsObjectiveLearningTest
 
createSolver() - Method in class org.sat4j.pb.constraints.CompetPBResMinHTMixedConstraintsObjectiveLearningTest
 
createSolver() - Method in class org.sat4j.pb.constraints.CounterPBConstrClauseImpliedWithClauseCardConstrLearning
 
createSolver() - Method in class org.sat4j.pb.constraints.CounterPBConstrOnRandomCardProblemsTest
 
createSolver() - Method in class org.sat4j.pb.constraints.CounterPBConstrWithClauseAtLeastConstrLearningTest
 
createSolver() - Method in class org.sat4j.pb.constraints.CounterPBConstrWithClauseCardConstrLearningTest
 
createSolver() - Method in class org.sat4j.pb.constraints.CounterPBConstrWithClauseLearningTest
 
createSolver() - Method in class org.sat4j.pb.constraints.CounterPBConstrWithPBConstrLearningTest
 
createSolver() - Method in class org.sat4j.pb.constraints.CounterPBWithClauseCardConstrLearningReduceToClauseTest
 
createSolver() - Method in class org.sat4j.pb.constraints.MiniOPBClauseCardMinLearningTest
 
createSolver() - Method in class org.sat4j.pb.constraints.MiniOPBLongClauseCardMinLearningTest
 
createSolver() - Method in class org.sat4j.pb.constraints.PBCPLongMaxClauseCardConstrLearningTest
 
createSolver() - Method in class org.sat4j.pb.constraints.PBCPLongMinClauseCardConstrLearningTest
 
createSolver() - Method in class org.sat4j.pb.constraints.PBCPMaxClauseCardConstrLearningTest
 
createSolver() - Method in class org.sat4j.pb.constraints.PBCPMinClauseCardConstrLearningTest
 
createSolver() - Method in class org.sat4j.pb.constraints.PBCPMixedConstraintsCautiousTest
 
createSolver() - Method in class org.sat4j.pb.constraints.PBCPMixedConstraintsResCPTest
 
createSolver() - Method in class org.sat4j.pb.constraints.PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest
 
createSolver() - Method in class org.sat4j.pb.constraints.PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest
 
createSolver() - Method in class org.sat4j.pb.constraints.PuebloWatchedPBConstrOnRandomCardProblemsTest
 
createSolver() - Method in class org.sat4j.pb.constraints.PuebloWatchedPBConstrWithClauseLearningTest
 
createSolver() - Method in class org.sat4j.pb.constraints.PuebloWatchedPBConstrWithPBConstrLearningTest
 
createSolver() - Method in class org.sat4j.pb.constraints.WatchedCardConstrOnRandomCardProblemsTest
 
createSolver() - Method in class org.sat4j.pb.constraints.WatchedPBConstrOnRandomCardProblemsTest
 
createSolver() - Method in class org.sat4j.pb.constraints.WatchedPBConstrWithClauseLearningTest
 
createSolver() - Method in class org.sat4j.pb.constraints.WatchedPBConstrWithPBConstrLearningTest
 

D

decode(int[]) - Method in class org.sat4j.pb.GoodOPBReader
 
decode(int[], PrintWriter) - Method in class org.sat4j.pb.GoodOPBReader
 
DepdendenyNode<C> - Class in org.sat4j.pb
 
DepdendenyNode(C, Explanation<C>) - Constructor for class org.sat4j.pb.DepdendenyNode
 

E

Explanation<C> - Class in org.sat4j.pb
 
Explanation() - Constructor for class org.sat4j.pb.Explanation
 

G

generateSolvers() - Static method in class org.sat4j.pb.BugSAT34
 
getConflicts() - Method in class org.sat4j.pb.Explanation
 
getMaxDepth() - Method in class org.sat4j.pb.DepdendenyNode
 
getName() - Method in class org.sat4j.pb.DepdendenyNode
 
getOnlyChild() - Method in class org.sat4j.pb.DepdendenyNode
 
getRoots() - Method in class org.sat4j.pb.Conflict
 
getRoots() - Method in class org.sat4j.pb.Explanation
 
getXplain() - Method in class org.sat4j.pb.TestDeletionXplain
 
getXplain() - Method in class org.sat4j.pb.TestInsertionXplain
 
getXplain() - Method in class org.sat4j.pb.TestQuickXplain
 
GoodOPBReader - Class in org.sat4j.pb
This class is a quick hack to read opb formatted files.
GoodOPBReader(IPBSolver) - Constructor for class org.sat4j.pb.GoodOPBReader
 

H

hasBranches() - Method in class org.sat4j.pb.DepdendenyNode
 

M

MikolasTest - Class in org.sat4j.pb
 
MikolasTest() - Constructor for class org.sat4j.pb.MikolasTest
 
MiniOPBClauseCardMinLearningTest - Class in org.sat4j.pb.constraints
 
MiniOPBClauseCardMinLearningTest(String) - Constructor for class org.sat4j.pb.constraints.MiniOPBClauseCardMinLearningTest
 
MiniOPBLongClauseCardMinLearningTest - Class in org.sat4j.pb.constraints
 
MiniOPBLongClauseCardMinLearningTest(String) - Constructor for class org.sat4j.pb.constraints.MiniOPBLongClauseCardMinLearningTest
 

N

name - Variable in class org.sat4j.pb.BugSAT22.Named
 
newChild(C) - Method in class org.sat4j.pb.DepdendenyNode
 
newConflict() - Method in class org.sat4j.pb.Explanation
 
newFalseRoot(C) - Method in class org.sat4j.pb.Explanation
 
newNode(C) - Method in class org.sat4j.pb.Explanation
 
newRoot(C) - Method in class org.sat4j.pb.Conflict
 

O

org.sat4j.pb - package org.sat4j.pb
 
org.sat4j.pb.constraints - package org.sat4j.pb.constraints
 

P

parseInstance(Reader) - Method in class org.sat4j.pb.GoodOPBReader
 
parseInstance(InputStream) - Method in class org.sat4j.pb.GoodOPBReader
 
PBCPLongMaxClauseCardConstrLearningTest - Class in org.sat4j.pb.constraints
 
PBCPLongMaxClauseCardConstrLearningTest(String) - Constructor for class org.sat4j.pb.constraints.PBCPLongMaxClauseCardConstrLearningTest
 
PBCPLongMinClauseCardConstrLearningTest - Class in org.sat4j.pb.constraints
 
PBCPLongMinClauseCardConstrLearningTest(String) - Constructor for class org.sat4j.pb.constraints.PBCPLongMinClauseCardConstrLearningTest
 
PBCPMaxClauseCardConstrLearningTest - Class in org.sat4j.pb.constraints
 
PBCPMaxClauseCardConstrLearningTest(String) - Constructor for class org.sat4j.pb.constraints.PBCPMaxClauseCardConstrLearningTest
 
PBCPMinClauseCardConstrLearningTest - Class in org.sat4j.pb.constraints
 
PBCPMinClauseCardConstrLearningTest(String) - Constructor for class org.sat4j.pb.constraints.PBCPMinClauseCardConstrLearningTest
 
PBCPMixedConstraintsCautiousTest - Class in org.sat4j.pb.constraints
 
PBCPMixedConstraintsCautiousTest(String) - Constructor for class org.sat4j.pb.constraints.PBCPMixedConstraintsCautiousTest
 
PBCPMixedConstraintsResCPTest - Class in org.sat4j.pb.constraints
 
PBCPMixedConstraintsResCPTest(String) - Constructor for class org.sat4j.pb.constraints.PBCPMixedConstraintsResCPTest
 
PbmOPBStringSolver - Class in org.sat4j.pb
 
PbmOPBStringSolver() - Constructor for class org.sat4j.pb.PbmOPBStringSolver
 
PREFIX - Static variable in class org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest
 
PREFIX - Static variable in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
print_model(IProblem) - Static method in class org.sat4j.pb.MikolasTest
 
PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest - Class in org.sat4j.pb.constraints
 
PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest(String) - Constructor for class org.sat4j.pb.constraints.PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest
 
PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest - Class in org.sat4j.pb.constraints
 
PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest(String) - Constructor for class org.sat4j.pb.constraints.PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest
Cr?
PuebloWatchedPBConstrOnRandomCardProblemsTest - Class in org.sat4j.pb.constraints
 
PuebloWatchedPBConstrOnRandomCardProblemsTest(String) - Constructor for class org.sat4j.pb.constraints.PuebloWatchedPBConstrOnRandomCardProblemsTest
 
PuebloWatchedPBConstrWithClauseLearningTest - Class in org.sat4j.pb.constraints
 
PuebloWatchedPBConstrWithClauseLearningTest(String) - Constructor for class org.sat4j.pb.constraints.PuebloWatchedPBConstrWithClauseLearningTest
Cr?
PuebloWatchedPBConstrWithPBConstrLearningTest - Class in org.sat4j.pb.constraints
 
PuebloWatchedPBConstrWithPBConstrLearningTest(String) - Constructor for class org.sat4j.pb.constraints.PuebloWatchedPBConstrWithPBConstrLearningTest
Cr?

S

setUp() - Method in class org.sat4j.pb.TestDependencyHelper
 
setUp() - Method in class org.sat4j.pb.TestGlobalTimeoutForOptimalModelEnumeration
 
setUp() - Method in class org.sat4j.pb.TestObjectiveFunction
 
setUp() - Method in class org.sat4j.pb.XplainTests
 
suite() - Static method in class org.sat4j.pb.constraints.AllTests
 

T

tearDown() - Method in class org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
 
testAlmostGlobalInconsistency() - Method in class org.sat4j.pb.constraints.TestQuickExplainPB
 
testAlmostGlobalInconsistencyII() - Method in class org.sat4j.pb.constraints.TestQuickExplainPB
 
testAlmostGlobalInconsistencyPB() - Method in class org.sat4j.pb.constraints.TestQuickExplainPB
 
testAlMostWithNegativeLiteralsAsText() - Method in class org.sat4j.pb.BugSAT21
 
testaloul1011() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testaloul1015() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testaloul1020() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testaloul1516() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testaloul1520() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testaloul1525() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testaloul2021() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testaloul2025() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testaloul2030() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testaloul3031() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testaloul3035() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testaloul3040() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testaloul3536() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testaloul3540() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testaloul3545() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testaloul4041() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testaloul4045() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testaloul4050() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testaloul5051() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testaloul5055() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testaloul5060() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testAtLeastWithNegativeLiterals() - Method in class org.sat4j.pb.BugSAT21
 
testAtLeastWithNegativeLiteralsAsText() - Method in class org.sat4j.pb.BugSAT21
 
testAtMostWithNegativeLiterals() - Method in class org.sat4j.pb.BugSAT21
 
testBasicRequirements() - Method in class org.sat4j.pb.TestDependencyHelper
 
testBasicRequirementsDetailedExplanation() - Method in class org.sat4j.pb.TestDependencyHelper
 
testCardinalityConstraints() - Method in class org.sat4j.pb.TestDependencyHelper
 
testCathyExamples() - Method in class org.sat4j.pb.TestDependencyHelper
 
testClassicalCase() - Method in class org.sat4j.pb.BugSAT32
 
testCNFCase() - Method in class org.sat4j.pb.BugSAT16
 
testCompetitionCase() - Method in class org.sat4j.pb.BugSAT32
 
testConflictingRequirements() - Method in class org.sat4j.pb.XplainTests
 
TestDeletionXplain - Class in org.sat4j.pb
 
TestDeletionXplain() - Constructor for class org.sat4j.pb.TestDeletionXplain
 
TestDependencyHelper - Class in org.sat4j.pb
 
TestDependencyHelper() - Constructor for class org.sat4j.pb.TestDependencyHelper
 
testDisjunction() - Method in class org.sat4j.pb.TestDependencyHelper
 
testDisjunctionExplanation() - Method in class org.sat4j.pb.TestDependencyHelper
 
testDisjunctions() - Method in class org.sat4j.pb.TestDependencyHelper
 
testDuplicatedConjuncts() - Method in class org.sat4j.pb.BugSAT61
 
TestEclipseBug247567 - Class in org.sat4j.pb
Test case to prevent a bug occurring with some Eclipse test cases: https://bugs.eclipse.org/bugs/show_bug.cgi?
TestEclipseBug247567() - Constructor for class org.sat4j.pb.TestEclipseBug247567
 
TestEclipseBug275101 - Class in org.sat4j.pb
 
TestEclipseBug275101() - Constructor for class org.sat4j.pb.TestEclipseBug275101
 
testEclipsePatchEncoding() - Method in class org.sat4j.pb.constraints.TestQuickExplainPB
 
testEquivalency() - Method in class org.sat4j.pb.TestDependencyHelper
 
testExactlyConstraint() - Method in class org.sat4j.pb.AbstractPBXplainTest
 
testExplanationForASolution() - Method in class org.sat4j.pb.TestDependencyHelper
 
testGlobalInconsistency() - Method in class org.sat4j.pb.constraints.TestQuickExplainPB
 
testGlobalInconsistencyPB() - Method in class org.sat4j.pb.constraints.TestQuickExplainPB
 
TestGlobalTimeoutForOptimalModelEnumeration - Class in org.sat4j.pb
 
TestGlobalTimeoutForOptimalModelEnumeration() - Constructor for class org.sat4j.pb.TestGlobalTimeoutForOptimalModelEnumeration
 
testIgnoreContiguousDuplicatedEntry() - Method in class org.sat4j.pb.TestDependencyHelper
 
TestInsertionXplain - Class in org.sat4j.pb
 
TestInsertionXplain() - Constructor for class org.sat4j.pb.TestInsertionXplain
 
testIteratingWithNoObjectiveFunction() - Method in class org.sat4j.pb.TestLonca
 
testIteratingWithObjectiveFunctionCard() - Method in class org.sat4j.pb.TestLonca
 
testIteratingWithObjectiveFunctionPseudo() - Method in class org.sat4j.pb.TestLonca
 
testIteratingWithObjectiveFunctionWithDecorator() - Method in class org.sat4j.pb.TestLonca
 
testJunitExample() - Method in class org.sat4j.pb.TestDependencyHelper
 
testJunitSingletonObjectiveExample() - Method in class org.sat4j.pb.TestDependencyHelper
 
testLexicoOptimizationWithPseudoOptDecorator() - Method in class org.sat4j.pb.MikolasTest
 
testLimitofHashFunction() - Method in class org.sat4j.pb.TestDependencyHelper
 
TestLonca - Class in org.sat4j.pb
 
TestLonca() - Constructor for class org.sat4j.pb.TestLonca
 
testMissingNewVarWithAtLeastInXplainPB() - Method in class org.sat4j.pb.BugSAT66
 
testMissingNewVarWithAtMostInXplainPB() - Method in class org.sat4j.pb.BugSAT66
 
testMissingNewVarWithClauseInXplainPB() - Method in class org.sat4j.pb.BugSAT66
 
testMissingNewVarWithExactlyInXplainPB() - Method in class org.sat4j.pb.BugSAT66
 
testMissingNewVarWithPBInXplainPB() - Method in class org.sat4j.pb.BugSAT66
 
testn9symml() - Method in class org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
 
testnb1() - Method in class org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
 
testnC17() - Method in class org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
 
testnC432() - Method in class org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
 
testnc8() - Method in class org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
 
testncc() - Method in class org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
 
testncirc103() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testncirc43() - Method in class org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
 
testncirc63() - Method in class org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
 
testncirc83() - Method in class org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
 
testncm42a() - Method in class org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
 
testncmb() - Method in class org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
 
testndata103() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testndata43() - Method in class org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
 
testndata63() - Method in class org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
 
testndata83() - Method in class org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
 
testnmux() - Method in class org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
 
testnmyadder() - Method in class org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
 
testNoDuplicatedConjuncts() - Method in class org.sat4j.pb.BugSAT61
 
testNoMin() - Method in class org.sat4j.pb.PbmOPBStringSolver
 
testNonDuplicatedEntryNotCatched() - Method in class org.sat4j.pb.TestDependencyHelper
 
testObjectiveFunction() - Method in class org.sat4j.pb.TestDependencyHelper
 
TestObjectiveFunction - Class in org.sat4j.pb
 
TestObjectiveFunction() - Constructor for class org.sat4j.pb.TestObjectiveFunction
 
testObjectiveFunctionWithAllWeightsToNull() - Method in class org.sat4j.pb.TestObjectiveFunction
 
testPBCase() - Method in class org.sat4j.pb.BugSAT16
 
testPN10() - Method in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
 
testPN34() - Method in class org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest
 
testPN4() - Method in class org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest
 
testPN45() - Method in class org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest
 
testPN5() - Method in class org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest
 
testPN56() - Method in class org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest
 
testPN6() - Method in class org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest
 
testPN67() - Method in class org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest
 
testPN7() - Method in class org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest
 
testPN78() - Method in class org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest
 
testPN8() - Method in class org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest
 
testPN89() - Method in class org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest
 
testPN9() - Method in class org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest
 
testPN910() - Method in class org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest
 
testPseudoConstraints() - Method in class org.sat4j.pb.TestDependencyHelper
 
testPseudoConstraintsNegativeLiterals() - Method in class org.sat4j.pb.TestDependencyHelper
 
TestQuickExplainPB - Class in org.sat4j.pb.constraints
 
TestQuickExplainPB() - Constructor for class org.sat4j.pb.constraints.TestQuickExplainPB
 
TestQuickXplain - Class in org.sat4j.pb
 
TestQuickXplain() - Constructor for class org.sat4j.pb.TestQuickXplain
 
testRemovalOfConstraintsPropagatingLiterals() - Method in class org.sat4j.pb.TestLonca
 
testRemovalOfConstraintsPropagatingLiteralsBis() - Method in class org.sat4j.pb.TestLonca
 
testRequiredSoftwareDependsOnOlderVersion() - Method in class org.sat4j.pb.XplainTests
 
testRequiredSoftwareDependsOnOlderVersionDeepTree() - Method in class org.sat4j.pb.XplainTests
 
testReserveVarsButUseLess() - Method in class org.sat4j.pb.TestEclipseBug247567
 
testReserveVarsButUseLess() - Method in class org.sat4j.pb.TestEclipseBug275101
 
testRndDeg1() - Method in class org.sat4j.pb.constraints.AbstractRandomCardProblemsTest
 
testRndDeg10() - Method in class org.sat4j.pb.constraints.AbstractRandomCardProblemsTest
 
testRndDeg11() - Method in class org.sat4j.pb.constraints.AbstractRandomCardProblemsTest
 
testRndDeg12() - Method in class org.sat4j.pb.constraints.AbstractRandomCardProblemsTest
 
testRndDeg13() - Method in class org.sat4j.pb.constraints.AbstractRandomCardProblemsTest
 
testRndDeg14() - Method in class org.sat4j.pb.constraints.AbstractRandomCardProblemsTest
 
testRndDeg15() - Method in class org.sat4j.pb.constraints.AbstractRandomCardProblemsTest
 
testRndDeg16() - Method in class org.sat4j.pb.constraints.AbstractRandomCardProblemsTest
 
testRndDeg17() - Method in class org.sat4j.pb.constraints.AbstractRandomCardProblemsTest
 
testRndDeg18() - Method in class org.sat4j.pb.constraints.AbstractRandomCardProblemsTest
 
testRndDeg2() - Method in class org.sat4j.pb.constraints.AbstractRandomCardProblemsTest
 
testRndDeg3() - Method in class org.sat4j.pb.constraints.AbstractRandomCardProblemsTest
 
testRndDeg4() - Method in class org.sat4j.pb.constraints.AbstractRandomCardProblemsTest
 
testRndDeg5() - Method in class org.sat4j.pb.constraints.AbstractRandomCardProblemsTest
 
testRndDeg6() - Method in class org.sat4j.pb.constraints.AbstractRandomCardProblemsTest
 
testRndDeg7() - Method in class org.sat4j.pb.constraints.AbstractRandomCardProblemsTest
 
testRndDeg8() - Method in class org.sat4j.pb.constraints.AbstractRandomCardProblemsTest
 
testRndDeg9() - Method in class org.sat4j.pb.constraints.AbstractRandomCardProblemsTest
 
testSatCallAfterExpireTimeout() - Method in class org.sat4j.pb.BugSat14
 
testSimpleResolverUnitFirst() - Method in class org.sat4j.pb.BugSAT22
 
testSimpleResolverUnitLast() - Method in class org.sat4j.pb.BugSAT22
 
testTimeoutOnConflicts() - Method in class org.sat4j.pb.TestGlobalTimeoutForOptimalModelEnumeration
 
testTimeoutOnSeconds() - Method in class org.sat4j.pb.TestGlobalTimeoutForOptimalModelEnumeration
 
testUnitClause() - Method in class org.sat4j.pb.BugSAT34
 
testUpdatedEclipsePatchEncoding() - Method in class org.sat4j.pb.constraints.TestQuickExplainPB
 
testUseNumberOfMissingVariablesAndWeightToOrderExplanations() - Method in class org.sat4j.pb.XplainTests
 
testUseNumberOfMissingVariablesToOrderExplanations() - Method in class org.sat4j.pb.XplainTests
 
testUseWeightToOrderSolutions() - Method in class org.sat4j.pb.XplainTests
 
testVariablesIntroducedInNegativeFormFirst() - Method in class org.sat4j.pb.TestDependencyHelper
 
testVariablesIntroducedInNegativeFormFirstStoredCorrectly() - Method in class org.sat4j.pb.TestDependencyHelper
 
testWithMin() - Method in class org.sat4j.pb.PbmOPBStringSolver
 

V

vector(int...) - Static method in class org.sat4j.pb.MikolasTest
 

W

WatchedCardConstrOnRandomCardProblemsTest - Class in org.sat4j.pb.constraints
 
WatchedCardConstrOnRandomCardProblemsTest(String) - Constructor for class org.sat4j.pb.constraints.WatchedCardConstrOnRandomCardProblemsTest
 
WatchedPBConstrOnRandomCardProblemsTest - Class in org.sat4j.pb.constraints
 
WatchedPBConstrOnRandomCardProblemsTest(String) - Constructor for class org.sat4j.pb.constraints.WatchedPBConstrOnRandomCardProblemsTest
 
WatchedPBConstrWithClauseLearningTest - Class in org.sat4j.pb.constraints
 
WatchedPBConstrWithClauseLearningTest(String) - Constructor for class org.sat4j.pb.constraints.WatchedPBConstrWithClauseLearningTest
Cr?
WatchedPBConstrWithPBConstrLearningTest - Class in org.sat4j.pb.constraints
 
WatchedPBConstrWithPBConstrLearningTest(String) - Constructor for class org.sat4j.pb.constraints.WatchedPBConstrWithPBConstrLearningTest
Cr?

X

XplainTests - Class in org.sat4j.pb
 
XplainTests() - Constructor for class org.sat4j.pb.XplainTests
 

A B C D E G H M N O P S T V W X

Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.