A C D E G H M N O P S T 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

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

C

CompetPBResHTMixedConstraintsObjectiveLearningTest - Class in org.sat4j.pb.constraints

CompetPBResHTMixedConstraintsObjectiveLearningTest(String) - Constructor for class org.sat4j.pb.constraints.CompetPBResHTMixedConstraintsObjectiveLearningTest

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

CounterCardConstrOnRandomCardProblemsTest - Class in org.sat4j.pb.constraints

CounterCardConstrOnRandomCardProblemsTest(String) - Constructor for class org.sat4j.pb.constraints.CounterCardConstrOnRandomCardProblemsTest

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

CounterPBConstrWithCBClauseCardConstrLearningTest - Class in org.sat4j.pb.constraints

CounterPBConstrWithCBClauseCardConstrLearningTest(String) - Constructor for class org.sat4j.pb.constraints.CounterPBConstrWithCBClauseCardConstrLearningTest

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

createSolver() - Method in class org.sat4j.pb.constraints.CompetPBResMinHTMixedConstraintsObjectiveLearningTest

createSolver() - Method in class org.sat4j.pb.constraints.CounterCardConstrOnRandomCardProblemsTest

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

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

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

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

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

MyCounterCardConstrOnRandomCardProblemsTest - Class in org.sat4j.pb.constraints

MyCounterCardConstrOnRandomCardProblemsTest(String) - Constructor for class org.sat4j.pb.constraints.MyCounterCardConstrOnRandomCardProblemsTest

N

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

PREFIX - Static variable in class org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest

PREFIX - Static variable in class org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest

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

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

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

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

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

testConflictingRequirements() - Method in class org.sat4j.pb.XplainTests

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

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

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

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

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

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

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

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

TestQuickExplainPB - Class in org.sat4j.pb.constraints

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

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

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

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 C D E G H M N O P S T W X