A B C D E G H J L 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

J

JsonPBReaderTest - Class in org.sat4j.pb

JsonPBReaderTest() - Constructor for class org.sat4j.pb.JsonPBReaderTest

L

LexicoDecoratorPBTest - Class in org.sat4j.pb

LexicoDecoratorPBTest() - Constructor for class org.sat4j.pb.LexicoDecoratorPBTest

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.JsonPBReaderTest

setUp() - Method in class org.sat4j.pb.LexicoDecoratorPBTest

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

test() - Method in class org.sat4j.pb.LexicoDecoratorPBTest

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

testImpliedObjects() - 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

testObjectiveFunctionMax() - Method in class org.sat4j.pb.JsonPBReaderTest

testObjectiveFunctionMin() - Method in class org.sat4j.pb.JsonPBReaderTest

testObjectiveFunctionWithAllWeightsToNull() - Method in class org.sat4j.pb.TestObjectiveFunction

testOrderofMixedConstraints() - Method in class org.sat4j.pb.JsonPBReaderTest

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

testReadingSimplePseudoAtLeast() - Method in class org.sat4j.pb.JsonPBReaderTest

testReadingSimplePseudoAtLeastStrictly() - Method in class org.sat4j.pb.JsonPBReaderTest

testReadingSimplePseudoAtMost() - Method in class org.sat4j.pb.JsonPBReaderTest

testReadingSimplePseudoAtMostStrictly() - Method in class org.sat4j.pb.JsonPBReaderTest

testReadingSimplePseudoExactly() - Method in class org.sat4j.pb.JsonPBReaderTest

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

testThatWeCanRetrieveTheTruthValueOfNegatedObjects() - Method in class org.sat4j.pb.TestDependencyHelper

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 J L M N O P S T V W X