A B C G H L M O P Q R S T V

A

AbstractAcceptanceTestCase<T extends org.sat4j.specs.ISolver> - Class in org.sat4j.minisat

AbstractAcceptanceTestCase() - Constructor for class org.sat4j.minisat.AbstractAcceptanceTestCase

AbstractAcceptanceTestCase(String) - Constructor for class org.sat4j.minisat.AbstractAcceptanceTestCase

AbstractM2Test<T extends org.sat4j.specs.ISolver> - Class in org.sat4j.minisat

Class responsability.

AbstractM2Test() - Constructor for class org.sat4j.minisat.AbstractM2Test

AbstractM2Test(String) - Constructor for class org.sat4j.minisat.AbstractM2Test

Constructor for DPLLTest.

AllTests - Class in org.sat4j.minisat

AllTests() - Constructor for class org.sat4j.minisat.AllTests

B

Bug275101 - Class in org.sat4j.minisat.core

Bug275101() - Constructor for class org.sat4j.minisat.core.Bug275101

BugThomas - Class in org.sat4j.minisat.core

BugThomas() - Constructor for class org.sat4j.minisat.core.BugThomas

C

cannotPutAUnitClauseInAGroup() - Method in class org.sat4j.TestConstrGroup

checkBugReportedByThomas() - Method in class org.sat4j.TestConstrGroup

checkGroupDoesNotWorkWhenClausesAreReducedByUnitPropgation() - Method in class org.sat4j.TestConstrGroup

checkItWorksAfterRunningTheSolver() - Method in class org.sat4j.TestConstrGroup

checkTheExpectedWayToDealWithUnitClausesToRemove() - Method in class org.sat4j.TestConstrGroup

createInstanceReader(T) - Method in class org.sat4j.minisat.AbstractAcceptanceTestCase

createSolver() - Method in class org.sat4j.minisat.AbstractAcceptanceTestCase

createSolver() - Method in class org.sat4j.minisat.GenericM2Test

createSolver() - Method in class org.sat4j.minisat.M2AtLeastTest

createSolver() - Method in class org.sat4j.minisat.M2BackjumpingTest

createSolver() - Method in class org.sat4j.minisat.M2CardMaxYannTest

createSolver() - Method in class org.sat4j.minisat.M2CardMinYannTest

createSolver() - Method in class org.sat4j.minisat.M2MiniLearningCBTest

createSolver() - Method in class org.sat4j.minisat.M2MiniLearningTest

createSolver() - Method in class org.sat4j.minisat.M2MiniSATTest

createSolver() - Method in class org.sat4j.minisat.M2RelsatTest

G

GenericM2Test - Class in org.sat4j.minisat

GenericM2Test(String) - Constructor for class org.sat4j.minisat.GenericM2Test

H

HeapTest - Class in org.sat4j.minisat.core

HeapTest() - Constructor for class org.sat4j.minisat.core.HeapTest

L

LboolTest - Class in org.sat4j.minisat.core

LboolTest(String) - Constructor for class org.sat4j.minisat.core.LboolTest

Constructor for LboolTest.

LitTest - Class in org.sat4j.minisat.constraints

LitTest(String) - Constructor for class org.sat4j.minisat.constraints.LitTest

Constructor for LitTest.

M

M2AtLeastTest - Class in org.sat4j.minisat

M2AtLeastTest(String) - Constructor for class org.sat4j.minisat.M2AtLeastTest

M2BackjumpingTest - Class in org.sat4j.minisat

M2BackjumpingTest(String) - Constructor for class org.sat4j.minisat.M2BackjumpingTest

M2CardMaxYannTest - Class in org.sat4j.minisat

M2CardMaxYannTest(String) - Constructor for class org.sat4j.minisat.M2CardMaxYannTest

M2CardMinYannTest - Class in org.sat4j.minisat

M2CardMinYannTest(String) - Constructor for class org.sat4j.minisat.M2CardMinYannTest

M2MiniLearningCBTest - Class in org.sat4j.minisat

M2MiniLearningCBTest(String) - Constructor for class org.sat4j.minisat.M2MiniLearningCBTest

M2MiniLearningTest - Class in org.sat4j.minisat

M2MiniLearningTest(String) - Constructor for class org.sat4j.minisat.M2MiniLearningTest

M2MiniSATTest - Class in org.sat4j.minisat

M2MiniSATTest(String) - Constructor for class org.sat4j.minisat.M2MiniSATTest

M2RelsatTest - Class in org.sat4j.minisat

M2RelsatTest(String) - Constructor for class org.sat4j.minisat.M2RelsatTest

ModelIteratorTest - Class in org.sat4j

ModelIteratorTest() - Constructor for class org.sat4j.ModelIteratorTest

O

org.sat4j - package org.sat4j

org.sat4j.core - package org.sat4j.core

org.sat4j.minisat - package org.sat4j.minisat

org.sat4j.minisat.constraints - package org.sat4j.minisat.constraints

org.sat4j.minisat.core - package org.sat4j.minisat.core

P

PREFIX - Static variable in class org.sat4j.minisat.AbstractM2Test

Q

QueueTest - Class in org.sat4j.minisat.core

QueueTest(String) - Constructor for class org.sat4j.minisat.core.QueueTest

Constructor for QueueTest.

R

reader - Variable in class org.sat4j.minisat.AbstractAcceptanceTestCase

runTest() - Method in class org.sat4j.minisat.GenericM2Test

S

setUp() - Method in class org.sat4j.core.VecTest

setUp() - Method in class org.sat4j.minisat.AbstractAcceptanceTestCase

setUp() - Method in class org.sat4j.minisat.constraints.LitTest

setUp() - Method in class org.sat4j.minisat.core.QueueTest

setUp() - Method in class org.sat4j.minisat.core.TestAtMost

setUp() - Method in class org.sat4j.minisat.TestsFonctionnels

setUp() - Method in class org.sat4j.minisat.VarOrderTest

setUp() - Method in class org.sat4j.SingleSolutionTest

setUp() - Method in class org.sat4j.TestFreeId

SingleSolutionTest - Class in org.sat4j

SingleSolutionTest(String) - Constructor for class org.sat4j.SingleSolutionTest

solveInstance(String) - Method in class org.sat4j.minisat.AbstractAcceptanceTestCase

solver - Variable in class org.sat4j.minisat.AbstractAcceptanceTestCase

suite() - Static method in class org.sat4j.minisat.AllTests

suite() - Static method in class org.sat4j.minisat.GenericM2Test

T

tearDown() - Method in class org.sat4j.core.VecTest

tearDown() - Method in class org.sat4j.minisat.AbstractAcceptanceTestCase

test2Sat() - Method in class org.sat4j.minisat.core.TestAtMost

test3Unsat() - Method in class org.sat4j.minisat.core.TestAtMost

test4Unsat() - Method in class org.sat4j.minisat.core.TestAtMost

test5Sat() - Method in class org.sat4j.minisat.core.TestAtMost

testAim50SAT1() - Method in class org.sat4j.minisat.AbstractM2Test

testAim50SAT10() - Method in class org.sat4j.minisat.AbstractM2Test

testAim50SAT11() - Method in class org.sat4j.minisat.AbstractM2Test

testAim50SAT12() - Method in class org.sat4j.minisat.AbstractM2Test

testAim50SAT13() - Method in class org.sat4j.minisat.AbstractM2Test

testAim50SAT14() - Method in class org.sat4j.minisat.AbstractM2Test

testAim50SAT15() - Method in class org.sat4j.minisat.AbstractM2Test

testAim50SAT16() - Method in class org.sat4j.minisat.AbstractM2Test

testAim50SAT2() - Method in class org.sat4j.minisat.AbstractM2Test

testAim50SAT3() - Method in class org.sat4j.minisat.AbstractM2Test

testAim50SAT4() - Method in class org.sat4j.minisat.AbstractM2Test

testAim50SAT5() - Method in class org.sat4j.minisat.AbstractM2Test

testAim50SAT6() - Method in class org.sat4j.minisat.AbstractM2Test

testAim50SAT7() - Method in class org.sat4j.minisat.AbstractM2Test

testAim50SAT8() - Method in class org.sat4j.minisat.AbstractM2Test

testAim50SAT9() - Method in class org.sat4j.minisat.AbstractM2Test

testAim50UNSAT1() - Method in class org.sat4j.minisat.AbstractM2Test

testAim50UNSAT2() - Method in class org.sat4j.minisat.AbstractM2Test

testAim50UNSAT3() - Method in class org.sat4j.minisat.AbstractM2Test

testAim50UNSAT4() - Method in class org.sat4j.minisat.AbstractM2Test

testAim50UNSAT5() - Method in class org.sat4j.minisat.AbstractM2Test

testAim50UNSAT6() - Method in class org.sat4j.minisat.AbstractM2Test

testAim50UNSAT7() - Method in class org.sat4j.minisat.AbstractM2Test

testAim50UNSAT8() - Method in class org.sat4j.minisat.AbstractM2Test

testAlmostGlobalInconsistency() - Method in class org.sat4j.TestQuickExplain

testAlmostGlobalInconsistencyII() - Method in class org.sat4j.TestQuickExplain

TestAssertion - Class in org.sat4j.minisat

TestAssertion() - Constructor for class org.sat4j.minisat.TestAssertion

testAssertion() - Method in class org.sat4j.minisat.TestAssertion

TestAtMost - Class in org.sat4j.minisat.core

TestAtMost(String) - Constructor for class org.sat4j.minisat.core.TestAtMost

testBug001() - Method in class org.sat4j.minisat.TestsFonctionnels

testBugReport() - Method in class org.sat4j.minisat.core.BugThomas

testCardModel() - Method in class org.sat4j.ModelIteratorTest

testClear() - Method in class org.sat4j.core.VecTest

testClear() - Method in class org.sat4j.minisat.core.QueueTest

testCommentsInInstance() - Method in class org.sat4j.minisat.TestsFonctionnels

TestConstrGroup - Class in org.sat4j

TestConstrGroup() - Constructor for class org.sat4j.TestConstrGroup

testCopyTo() - Method in class org.sat4j.core.VecTest

testDelete() - Method in class org.sat4j.core.VecTest

testDeleteGroup() - Method in class org.sat4j.TestConstrGroup

testDequeue() - Method in class org.sat4j.minisat.core.QueueTest

testEclipseTestCase() - Method in class org.sat4j.TestQuickExplain

testEclipseTestCase2() - Method in class org.sat4j.TestQuickExplain

testEmpty() - Method in class org.sat4j.minisat.core.HeapTest

testEmptySolver() - Method in class org.sat4j.TestFreeId

testEquals() - Method in class org.sat4j.core.VecTest

testEqualsObject() - Method in class org.sat4j.minisat.constraints.LitTest

testEqualsObject() - Method in class org.sat4j.minisat.core.LboolTest

TestFreeId - Class in org.sat4j

TestFreeId() - Constructor for class org.sat4j.TestFreeId

testGet() - Method in class org.sat4j.core.VecTest

testGetmin() - Method in class org.sat4j.minisat.core.HeapTest

testGetVocabulary() - Method in class org.sat4j.minisat.VarOrderTest

testGlobalInconsistency() - Method in class org.sat4j.TestQuickExplain

testGlobalTimeoutCounter() - Method in class org.sat4j.ModelIteratorTest

testGlobalTimeoutIterator() - Method in class org.sat4j.ModelIteratorTest

testGrowToint() - Method in class org.sat4j.core.VecTest

testGrowTointObject() - Method in class org.sat4j.core.VecTest

testHasASingleSolution() - Method in class org.sat4j.SingleSolutionTest

testHasASingleSolutionIVecInt() - Method in class org.sat4j.SingleSolutionTest

testHasNoSingleSolution() - Method in class org.sat4j.SingleSolutionTest

testHasNoSingleSolutionUNSAT() - Method in class org.sat4j.SingleSolutionTest

testHeapProperty() - Method in class org.sat4j.minisat.core.HeapTest

testHeapPropertyInt() - Method in class org.sat4j.minisat.core.HeapTest

testHole6() - Method in class org.sat4j.minisat.AbstractM2Test

testHole7() - Method in class org.sat4j.minisat.AbstractM2Test

testIi1() - Method in class org.sat4j.minisat.AbstractM2Test

testIi10() - Method in class org.sat4j.minisat.AbstractM2Test

testIi11() - Method in class org.sat4j.minisat.AbstractM2Test

testIi12() - Method in class org.sat4j.minisat.AbstractM2Test

testIi13() - Method in class org.sat4j.minisat.AbstractM2Test

testIi14() - Method in class org.sat4j.minisat.AbstractM2Test

testIi15() - Method in class org.sat4j.minisat.AbstractM2Test

testIi16() - Method in class org.sat4j.minisat.AbstractM2Test

testIi17() - Method in class org.sat4j.minisat.AbstractM2Test

testIi18() - Method in class org.sat4j.minisat.AbstractM2Test

testIi2() - Method in class org.sat4j.minisat.AbstractM2Test

testIi20() - Method in class org.sat4j.minisat.AbstractM2Test

testIi21() - Method in class org.sat4j.minisat.AbstractM2Test

testIi22() - Method in class org.sat4j.minisat.AbstractM2Test

testIi23() - Method in class org.sat4j.minisat.AbstractM2Test

testIi3() - Method in class org.sat4j.minisat.AbstractM2Test

testIi4() - Method in class org.sat4j.minisat.AbstractM2Test

testIi5() - Method in class org.sat4j.minisat.AbstractM2Test

testIi6() - Method in class org.sat4j.minisat.AbstractM2Test

testIi7() - Method in class org.sat4j.minisat.AbstractM2Test

testIi8() - Method in class org.sat4j.minisat.AbstractM2Test

testIi9() - Method in class org.sat4j.minisat.AbstractM2Test

testIncModel() - Method in class org.sat4j.ModelIteratorTest

testIncrease() - Method in class org.sat4j.minisat.core.HeapTest

testIncrementalFeed() - Method in class org.sat4j.TestFreeId

testInHeap() - Method in class org.sat4j.minisat.core.HeapTest

testInsert() - Method in class org.sat4j.minisat.core.HeapTest

testInsert() - Method in class org.sat4j.minisat.core.QueueTest

testIsImplied() - Method in class org.sat4j.minisat.TestsFonctionnels

testIsImplied3() - Method in class org.sat4j.minisat.TestsFonctionnels

testIsSatisfiableVecInt() - Method in class org.sat4j.ModelIteratorTest

testIterator() - Method in class org.sat4j.core.VecTest

testJNH1() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH10() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH11() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH12() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH13() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH14() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH15() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH16() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH17() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH18() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH19() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH2() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH20() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH21() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH22() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH23() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH24() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH25() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH26() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH27() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH28() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH29() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH3() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH30() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH31() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH32() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH33() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH34() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH35() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH36() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH37() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH38() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH39() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH4() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH40() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH41() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH42() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH43() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH44() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH45() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH46() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH47() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH48() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH49() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH5() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH50() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH6() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH7() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH8() - Method in class org.sat4j.minisat.AbstractM2Test

testJNH9() - Method in class org.sat4j.minisat.AbstractM2Test

testLast() - Method in class org.sat4j.core.VecTest

TestLubyFunction - Class in org.sat4j.minisat

TestLubyFunction() - Constructor for class org.sat4j.minisat.TestLubyFunction

testMaxSAtIterator() - Method in class org.sat4j.minisat.core.Bug275101

testMaxSAtIteratorIfSat() - Method in class org.sat4j.minisat.core.Bug275101

testModelIterator() - Method in class org.sat4j.ModelIteratorTest

testModelIteratorLimit() - Method in class org.sat4j.ModelIteratorTest

testMoveTo() - Method in class org.sat4j.core.VecTest

testNewVar() - Method in class org.sat4j.minisat.VarOrderTest

testNewVarint() - Method in class org.sat4j.minisat.VarOrderTest

testNoSuchElementException() - Method in class org.sat4j.core.VecTest

testNot() - Method in class org.sat4j.minisat.constraints.LitTest

testNot() - Method in class org.sat4j.minisat.core.LboolTest

testNumberOfInterestingVariables() - Method in class org.sat4j.minisat.VarOrderTest

testPop() - Method in class org.sat4j.core.VecTest

testPush() - Method in class org.sat4j.core.VecTest

testPushObject() - Method in class org.sat4j.core.VecTest

TestQuickExplain - Class in org.sat4j

TestQuickExplain() - Constructor for class org.sat4j.TestQuickExplain

testRemoveAtLeast() - Method in class org.sat4j.minisat.TestsFonctionnels

testRemoveConstraints() - Method in class org.sat4j.minisat.TestsFonctionnels

testReserveParameter() - Method in class org.sat4j.TestFreeId

testSat() - Method in class org.sat4j.minisat.TestsFonctionnels

testSelect() - Method in class org.sat4j.minisat.VarOrderTest

testSelectionSort() - Method in class org.sat4j.core.VecTest

testSetBounds() - Method in class org.sat4j.minisat.core.HeapTest

testSetVarDecay() - Method in class org.sat4j.minisat.VarOrderTest

TestsFonctionnels - Class in org.sat4j.minisat

TestsFonctionnels(String) - Constructor for class org.sat4j.minisat.TestsFonctionnels

Constructor for TestsFonctionnels.

testShrink() - Method in class org.sat4j.core.VecTest

testShrinkTo() - Method in class org.sat4j.core.VecTest

testSize() - Method in class org.sat4j.core.VecTest

testSize() - Method in class org.sat4j.minisat.core.QueueTest

testSomeKnownValues() - Method in class org.sat4j.minisat.TestLubyFunction

testSort() - Method in class org.sat4j.core.VecTest

testSortEmpty() - Method in class org.sat4j.core.VecTest

testSortUnique() - Method in class org.sat4j.core.VecTest

testSpecificValues() - Method in class org.sat4j.ModelIteratorTest

testTheCaseOfTwoMUSes() - Method in class org.sat4j.TestQuickExplain

testToString() - Method in class org.sat4j.minisat.constraints.LitTest

testToString() - Method in class org.sat4j.minisat.core.LboolTest

testTrivialInconsistentFormula() - Method in class org.sat4j.minisat.TestsFonctionnels

testTrivialSat() - Method in class org.sat4j.minisat.TestsFonctionnels

testTrivialSatNewVar() - Method in class org.sat4j.minisat.TestsFonctionnels

Deprecated.

testTrivialUnsat() - Method in class org.sat4j.minisat.TestsFonctionnels

testTruthValue() - Method in class org.sat4j.minisat.constraints.LitTest

testUndo() - Method in class org.sat4j.minisat.VarOrderTest

testUnEssaiSat() - Method in class org.sat4j.minisat.core.TestAtMost

testUnEssaiUnsat() - Method in class org.sat4j.minisat.core.TestAtMost

testUnsat() - Method in class org.sat4j.minisat.TestsFonctionnels

testUpdateVar() - Method in class org.sat4j.minisat.VarOrderTest

testVar() - Method in class org.sat4j.minisat.constraints.LitTest

testVarDecayActivity() - Method in class org.sat4j.minisat.VarOrderTest

testVec() - Method in class org.sat4j.core.VecTest

testVecint() - Method in class org.sat4j.core.VecTest

testVecintObject() - Method in class org.sat4j.core.VecTest

testWhenNewVarNotCalled() - Method in class org.sat4j.minisat.TestsFonctionnels

V

VarOrderTest - Class in org.sat4j.minisat

VarOrderTest() - Constructor for class org.sat4j.minisat.VarOrderTest

VecTest - Class in org.sat4j.core

VecTest(String) - Constructor for class org.sat4j.core.VecTest

Constructor for VecTest.

A B C G H L M O P Q R S T V