A B C G H I J L M N 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.

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

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

AllTests - Class in org.sat4j.minisat

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

B

BackboneTest - Class in org.sat4j.tools

BackboneTest() - Constructor for class org.sat4j.tools.BackboneTest

Bug275101 - Class in org.sat4j.minisat.core

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

BugFatih - Class in org.sat4j.minisat.core

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

BugFatih2 - Class in org.sat4j.minisat.core

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

BugReset - Class in org.sat4j.minisat.core

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

BugSAT17 - Class in org.sat4j

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

BugSAT18 - Class in org.sat4j

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

BugSAT25 - Class in org.sat4j

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

BugSAT26 - Class in org.sat4j

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

BugSAT34 - Class in org.sat4j

BugSAT34(ISolver, String) - Constructor for class org.sat4j.BugSAT34

BugSAT37 - Class in org.sat4j

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

BugSAT43 - Class in org.sat4j

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

BugSAT50 - Class in org.sat4j

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

BugSAT79 - Class in org.sat4j

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

BugSAT81 - Class in org.sat4j

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

BugThomas - Class in org.sat4j.minisat.core

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

BugTrivialAssumption - Class in org.sat4j.minisat.core

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

C

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

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

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

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

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

CircularBufferTest - Class in org.sat4j.minisat.core

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

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

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

G

generateSolvers() - Static method in class org.sat4j.BugSAT34

GenericM2Test - Class in org.sat4j.minisat

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

getXplain() - Method in class org.sat4j.AbstractXplainTest

getXplain() - Method in class org.sat4j.TestDeletionXplain

getXplain() - Method in class org.sat4j.TestInsertionXplain

getXplain() - Method in class org.sat4j.TestQuickXplain

getXplain() - Method in class org.sat4j.TestQuickXplain2001

H

HeapTest - Class in org.sat4j.minisat.core

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

I

implicitDeclarationOfVariables() - Method in class org.sat4j.BugSAT43

J

JsonReaderTest - Class in org.sat4j.core

JsonReaderTest() - Constructor for class org.sat4j.core.JsonReaderTest

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

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

ModelIteratorTest - Class in org.sat4j

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

N

NegationDecoratorTest - Class in org.sat4j.tools

NegationDecoratorTest() - Constructor for class org.sat4j.tools.NegationDecoratorTest

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

org.sat4j.tools - package org.sat4j.tools

P

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

problemTest() - Method in class org.sat4j.minisat.core.BugReset

problemTest2() - Method in class org.sat4j.minisat.core.BugReset

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

RemiUtilsTest - Class in org.sat4j.tools

Testcase to check that the problem with unit clauses does no longer occurs.

RemiUtilsTest() - Constructor for class org.sat4j.tools.RemiUtilsTest

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

S

setup() - Method in class org.sat4j.BugSAT17

setup() - Method in class org.sat4j.BugSAT18

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

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

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

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

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

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

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

setUp() - Method in class org.sat4j.tools.NegationDecoratorTest

setUp() - Method in class org.sat4j.tools.TestAllMUSes

setUp() - Method in class org.sat4j.tools.TestAllMUSesAndCheckTest

setUp() - Method in class org.sat4j.tools.TestAllMUSesGroupTest

setUp() - Method in class org.sat4j.tools.TestCheckItIsAMUS

setUp() - Method in class org.sat4j.tools.TestClausalCardinalitiesBinaryEncoding

setUp() - Method in class org.sat4j.tools.TestClausalCardinalitiesBinomialEncoding

setUp() - Method in class org.sat4j.tools.TestClausalCardinalitiesCommanderEncoding

setUp() - Method in class org.sat4j.tools.TestClausalCardinalitiesLadderEncoding

setUp() - Method in class org.sat4j.tools.TestClausalCardinalitiesProductEncoding

setUp() - Method in class org.sat4j.tools.TestClausalCardinalitiesSequentialEncoding

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

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

startUp() - Method in class org.sat4j.AbstractXplainTest

startUp() - Method in class org.sat4j.TestSolverEngine

startUp() - Method in class org.sat4j.tools.TestGateTranslator

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

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

T

tearDDown() - Method in class org.sat4j.minisat.core.TestGroupedTimeoutModelEnumeration

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

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

test() - Method in class org.sat4j.BugSAT50

test() - Method in class org.sat4j.minisat.core.CircularBufferTest

test2() - Method in class org.sat4j.BugSAT50

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

test3() - Method in class org.sat4j.BugSAT50

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

testAll() - Method in class org.sat4j.BugSAT17

testAll() - Method in class org.sat4j.BugSAT18

TestAllMUSes - Class in org.sat4j.tools

TestAllMUSes() - Constructor for class org.sat4j.tools.TestAllMUSes

TestAllMUSesAndCheckTest - Class in org.sat4j.tools

TestAllMUSesAndCheckTest() - Constructor for class org.sat4j.tools.TestAllMUSesAndCheckTest

TestAllMUSesGroupTest - Class in org.sat4j.tools

TestAllMUSesGroupTest() - Constructor for class org.sat4j.tools.TestAllMUSesGroupTest

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

testAlmostGlobalInconsistency() - Method in class org.sat4j.tools.TestAllMUSes

testAlmostGlobalInconsistency() - Method in class org.sat4j.tools.TestAllMUSesAndCheckTest

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

testAlmostGlobalInconsistencyII() - Method in class org.sat4j.tools.TestAllMUSes

testAlmostGlobalInconsistencyII() - Method in class org.sat4j.tools.TestAllMUSesAndCheckTest

testAlmostGlobalInconsistencyIIIndex() - Method in class org.sat4j.AbstractXplainTest

testAlmostGlobalInconsistencyIIIndex() - Method in class org.sat4j.tools.TestAllMUSes

testAlmostGlobalInconsistencyIIIndex() - Method in class org.sat4j.tools.TestAllMUSesAndCheckTest

testAlmostGlobalInconsistencyIndex() - Method in class org.sat4j.AbstractXplainTest

testAlmostGlobalInconsistencyIndex() - Method in class org.sat4j.tools.TestAllMUSes

testAlmostGlobalInconsistencyIndex() - Method in class org.sat4j.tools.TestAllMUSesAndCheckTest

TestAssertion - Class in org.sat4j.minisat

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

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

testAtLeast2() - Method in class org.sat4j.tools.TestClausalCardinalitiesBinaryEncoding

testAtLeast2() - Method in class org.sat4j.tools.TestClausalCardinalitiesBinomialEncoding

testAtLeast2() - Method in class org.sat4j.tools.TestClausalCardinalitiesCommanderEncoding

testAtLeast2() - Method in class org.sat4j.tools.TestClausalCardinalitiesLadderEncoding

testAtLeast2() - Method in class org.sat4j.tools.TestClausalCardinalitiesProductEncoding

testAtLeast2() - Method in class org.sat4j.tools.TestClausalCardinalitiesSequentialEncoding

testAtLeastOne() - Method in class org.sat4j.tools.TestClausalCardinalitiesBinaryEncoding

testAtLeastOne() - Method in class org.sat4j.tools.TestClausalCardinalitiesBinomialEncoding

testAtLeastOne() - Method in class org.sat4j.tools.TestClausalCardinalitiesCommanderEncoding

testAtLeastOne() - Method in class org.sat4j.tools.TestClausalCardinalitiesLadderEncoding

testAtLeastOne() - Method in class org.sat4j.tools.TestClausalCardinalitiesProductEncoding

testAtLeastOne() - Method in class org.sat4j.tools.TestClausalCardinalitiesSequentialEncoding

TestAtMost - Class in org.sat4j.minisat.core

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

testAtMost2() - Method in class org.sat4j.tools.TestClausalCardinalitiesBinaryEncoding

testAtMost2() - Method in class org.sat4j.tools.TestClausalCardinalitiesBinomialEncoding

testAtMost2() - Method in class org.sat4j.tools.TestClausalCardinalitiesCommanderEncoding

testAtMost2() - Method in class org.sat4j.tools.TestClausalCardinalitiesLadderEncoding

testAtMost2() - Method in class org.sat4j.tools.TestClausalCardinalitiesProductEncoding

testAtMost2() - Method in class org.sat4j.tools.TestClausalCardinalitiesSequentialEncoding

testAtMost4With11Vars() - Method in class org.sat4j.tools.TestClausalCardinalitiesCommanderEncoding

testAtMost4With11Vars() - Method in class org.sat4j.tools.TestClausalCardinalitiesLadderEncoding

testAtMost4With11Vars() - Method in class org.sat4j.tools.TestClausalCardinalitiesProductEncoding

testAtMost4With11Vars() - Method in class org.sat4j.tools.TestClausalCardinalitiesSequentialEncoding

testAtMostOne() - Method in class org.sat4j.tools.TestClausalCardinalitiesBinaryEncoding

testAtMostOne() - Method in class org.sat4j.tools.TestClausalCardinalitiesBinomialEncoding

testAtMostOne() - Method in class org.sat4j.tools.TestClausalCardinalitiesCommanderEncoding

testAtMostOne() - Method in class org.sat4j.tools.TestClausalCardinalitiesLadderEncoding

testAtMostOne() - Method in class org.sat4j.tools.TestClausalCardinalitiesProductEncoding

testAtMostOne() - Method in class org.sat4j.tools.TestClausalCardinalitiesSequentialEncoding

testAtMostOneWith8Vars() - Method in class org.sat4j.tools.TestClausalCardinalitiesCommanderEncoding

testAtMostOneWith8Vars() - Method in class org.sat4j.tools.TestClausalCardinalitiesLadderEncoding

testAtMostOneWith8Vars() - Method in class org.sat4j.tools.TestClausalCardinalitiesProductEncoding

testAtMostOneWith8Vars() - Method in class org.sat4j.tools.TestClausalCardinalitiesSequentialEncoding

testBasicImplicant() - Method in class org.sat4j.minisat.core.TestPrimeComputation

testBinaryClauseInFormula() - Method in class org.sat4j.minisat.core.BugTrivialAssumption

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

testBugKostya() - Method in class org.sat4j.minisat.core.BugReset

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

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

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

testBugUnitClauses() - Method in class org.sat4j.tools.BackboneTest

Testcase to check that the problem with unit clauses does no longer occurs.

testBugUnitClauses() - Method in class org.sat4j.tools.RemiUtilsTest

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

testCaseWithUnsatProblem() - Method in class org.sat4j.tools.BackboneTest

TestCheckItIsAMUS - Class in org.sat4j.tools

TestCheckItIsAMUS() - Constructor for class org.sat4j.tools.TestCheckItIsAMUS

TestClausalCardinalitiesBinaryEncoding - Class in org.sat4j.tools

TestClausalCardinalitiesBinaryEncoding() - Constructor for class org.sat4j.tools.TestClausalCardinalitiesBinaryEncoding

TestClausalCardinalitiesBinomialEncoding - Class in org.sat4j.tools

TestClausalCardinalitiesBinomialEncoding() - Constructor for class org.sat4j.tools.TestClausalCardinalitiesBinomialEncoding

TestClausalCardinalitiesCommanderEncoding - Class in org.sat4j.tools

TestClausalCardinalitiesCommanderEncoding() - Constructor for class org.sat4j.tools.TestClausalCardinalitiesCommanderEncoding

TestClausalCardinalitiesLadderEncoding - Class in org.sat4j.tools

TestClausalCardinalitiesLadderEncoding() - Constructor for class org.sat4j.tools.TestClausalCardinalitiesLadderEncoding

TestClausalCardinalitiesProductEncoding - Class in org.sat4j.tools

TestClausalCardinalitiesProductEncoding() - Constructor for class org.sat4j.tools.TestClausalCardinalitiesProductEncoding

TestClausalCardinalitiesSequentialEncoding - Class in org.sat4j.tools

TestClausalCardinalitiesSequentialEncoding() - Constructor for class org.sat4j.tools.TestClausalCardinalitiesSequentialEncoding

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

testConsecutiveCallToSolver() - Method in class org.sat4j.BugSAT26

TestConstrGroup - Class in org.sat4j

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

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

testDeclaredVariables() - Method in class org.sat4j.BugSAT43

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

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

TestDeletionXplain - Class in org.sat4j

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

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

testEasyCaseWithOnlyOneModel() - Method in class org.sat4j.tools.BackboneTest

testEasyInconsistencyInAssumption() - Method in class org.sat4j.minisat.core.BugTrivialAssumption

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

testEclipseTestCase() - Method in class org.sat4j.tools.TestAllMUSes

testEclipseTestCase() - Method in class org.sat4j.tools.TestAllMUSesAndCheckTest

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

testEclipseTestCase2() - Method in class org.sat4j.tools.TestAllMUSes

testEclipseTestCase2() - Method in class org.sat4j.tools.TestAllMUSesAndCheckTest

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

testEmptyBackbone() - Method in class org.sat4j.tools.BackboneTest

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

testExactly2() - Method in class org.sat4j.tools.TestClausalCardinalitiesBinaryEncoding

testExactly2() - Method in class org.sat4j.tools.TestClausalCardinalitiesBinomialEncoding

testExactly2() - Method in class org.sat4j.tools.TestClausalCardinalitiesCommanderEncoding

testExactly2() - Method in class org.sat4j.tools.TestClausalCardinalitiesLadderEncoding

testExactly2() - Method in class org.sat4j.tools.TestClausalCardinalitiesProductEncoding

testExactly2() - Method in class org.sat4j.tools.TestClausalCardinalitiesSequentialEncoding

testExactly4With11Vars() - Method in class org.sat4j.tools.TestClausalCardinalitiesCommanderEncoding

testExactly4With11Vars() - Method in class org.sat4j.tools.TestClausalCardinalitiesLadderEncoding

testExactly4With11Vars() - Method in class org.sat4j.tools.TestClausalCardinalitiesProductEncoding

testExactly4With11Vars() - Method in class org.sat4j.tools.TestClausalCardinalitiesSequentialEncoding

testExactlyOne() - Method in class org.sat4j.tools.TestClausalCardinalitiesBinaryEncoding

testExactlyOne() - Method in class org.sat4j.tools.TestClausalCardinalitiesBinomialEncoding

testExactlyOne() - Method in class org.sat4j.tools.TestClausalCardinalitiesCommanderEncoding

testExactlyOne() - Method in class org.sat4j.tools.TestClausalCardinalitiesLadderEncoding

testExactlyOne() - Method in class org.sat4j.tools.TestClausalCardinalitiesProductEncoding

testExactlyOne() - Method in class org.sat4j.tools.TestClausalCardinalitiesSequentialEncoding

testExample1CADECedric() - Method in class org.sat4j.tools.TestAllMUSes

testExample1CADECedric() - Method in class org.sat4j.tools.TestAllMUSesAndCheckTest

testExample3CADECedric() - Method in class org.sat4j.tools.TestAllMUSes

testExample3CADECedric() - Method in class org.sat4j.tools.TestAllMUSesAndCheckTest

testExample3IJCAICedric() - Method in class org.sat4j.tools.TestAllMUSes

testExample3IJCAICedric() - Method in class org.sat4j.tools.TestAllMUSesAndCheckTest

testFolletExample() - Method in class org.sat4j.minisat.core.TestPrimeComputation

TestFreeId - Class in org.sat4j

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

TestGateTranslator - Class in org.sat4j.tools

TestGateTranslator() - Constructor for class org.sat4j.tools.TestGateTranslator

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

testGlobalInconsistency() - Method in class org.sat4j.tools.TestAllMUSes

testGlobalInconsistency() - Method in class org.sat4j.tools.TestAllMUSesAndCheckTest

testGlobalInconsistencyIndex() - Method in class org.sat4j.AbstractXplainTest

testGlobalInconsistencyIndex() - Method in class org.sat4j.tools.TestAllMUSes

testGlobalInconsistencyIndex() - Method in class org.sat4j.tools.TestAllMUSesAndCheckTest

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

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

TestGroupedTimeoutModelEnumeration - Class in org.sat4j.minisat.core

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

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

testImplicantPascal() - Method in class org.sat4j.minisat.core.TestPrimeComputation

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

testInconsistencyInAssumption() - Method in class org.sat4j.minisat.core.BugTrivialAssumption

testInconsistentLits() - Method in class org.sat4j.BugSAT17

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

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

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

testInputStream() - Method in class org.sat4j.core.JsonReaderTest

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

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

TestInsertionXplain - Class in org.sat4j

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

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

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

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

testIterativeAssumptionCallsWithList() - Method in class org.sat4j.TestSatAssumps

testIterativeAssumptionCallsWithSet() - Method in class org.sat4j.TestSatAssumps

testIterativeCorrectWay() - Method in class org.sat4j.TestSatAssumps

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

testItWorksOnSimpleMUSes() - Method in class org.sat4j.tools.TestCheckItIsAMUS

testItWorksOnSimpleNonMUSes() - Method in class org.sat4j.tools.TestCheckItIsAMUS

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

testJsonOutput() - Method in class org.sat4j.core.JsonReaderTest

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

testMixOfClausesAndCard() - Method in class org.sat4j.core.JsonReaderTest

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

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

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

testNegatingASingleClause() - Method in class org.sat4j.tools.NegationDecoratorTest

testNegatingTwoClauses() - Method in class org.sat4j.tools.NegationDecoratorTest

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

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

testNoDeclaredVariables() - Method in class org.sat4j.BugSAT43

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

testOneSameOneContradictory() - Method in class org.sat4j.BugSAT17

testOrderofMixedConstraints() - Method in class org.sat4j.core.JsonReaderTest

testOtherImplicant() - Method in class org.sat4j.minisat.core.TestPrimeComputation

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

TestPrimeComputation - Class in org.sat4j.minisat.core

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

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

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

TestQuickXplain - Class in org.sat4j

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

TestQuickXplain2001 - Class in org.sat4j

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

testReaderFromDimacsReader() - Method in class org.sat4j.BugSAT25

testReaderFromInstanceReader() - Method in class org.sat4j.BugSAT25

testReaderFromLecteurDimacs() - Method in class org.sat4j.BugSAT25

testReadingACardAtLeastEqual() - Method in class org.sat4j.core.JsonReaderTest

testReadingACardAtLeastStrictly() - Method in class org.sat4j.core.JsonReaderTest

testReadingACardAtMostEqual() - Method in class org.sat4j.core.JsonReaderTest

testReadingACardAtMostStrictly() - Method in class org.sat4j.core.JsonReaderTest

testReadingACardExactly() - Method in class org.sat4j.core.JsonReaderTest

testReadingNullClause() - Method in class org.sat4j.core.JsonReaderTest

testReadingSimpleClause() - Method in class org.sat4j.core.JsonReaderTest

testReadingTwoClauses() - Method in class org.sat4j.core.JsonReaderTest

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

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

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

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

testSameLits() - Method in class org.sat4j.BugSAT17

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

TestSatAssumps - Class in org.sat4j

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

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

testSimpleCase() - Method in class org.sat4j.tools.TestAllMUSes

testSimpleCase() - Method in class org.sat4j.tools.TestAllMUSesAndCheckTest

testSimpleCase() - Method in class org.sat4j.tools.TestAllMUSesGroupTest

testSimpleCaseWithGroups() - Method in class org.sat4j.tools.TestAllMUSesGroupTest

testSimpleCaseWithGroups2() - Method in class org.sat4j.tools.TestAllMUSesGroupTest

testSimpleCaseWithGroups3() - Method in class org.sat4j.tools.TestAllMUSesGroupTest

testSimpleCaseWithGroups4() - Method in class org.sat4j.tools.TestAllMUSesGroupTest

testSimplePhoneSATSmall() - Method in class org.sat4j.BugSAT81

testSingle1() - Method in class org.sat4j.BugSAT18

testSingle2() - Method in class org.sat4j.BugSAT18

testSingleLit() - Method in class org.sat4j.BugSAT17

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

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

testSolver() - Method in class org.sat4j.BugSAT37

TestSolverEngine - Class in org.sat4j

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

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

testSuccessiveCallsInGlobalTimeout() - Method in class org.sat4j.BugSAT79

testSuccessiveCallsInLocalTimeout() - Method in class org.sat4j.BugSAT79

testSuccessiveCallsWithDifferentSolvers() - Method in class org.sat4j.BugSAT79

testSuccessiveCallsWithDifferentSolversInsideDecorators() - Method in class org.sat4j.BugSAT79

testThatASolverReturnsItself() - Method in class org.sat4j.TestSolverEngine

testThatItDoesNotWorkForManyCore() - Method in class org.sat4j.TestSolverEngine

testThatItDoesNotWorkForOutputSolvers() - Method in class org.sat4j.TestSolverEngine

testThatItWorksWithOneDecorator() - Method in class org.sat4j.TestSolverEngine

testThatItWorksWithTwoDecorators() - Method in class org.sat4j.TestSolverEngine

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

testTheCaseOfTwoMUSes() - Method in class org.sat4j.tools.TestAllMUSes

testTheCaseOfTwoMUSes() - Method in class org.sat4j.tools.TestAllMUSesAndCheckTest

testTimeoutOnConflicts() - Method in class org.sat4j.minisat.core.TestGroupedTimeoutModelEnumeration

testTimeoutOnMilliSeconds() - Method in class org.sat4j.minisat.core.TestGroupedTimeoutModelEnumeration

testTimeoutOnSeconds() - Method in class org.sat4j.minisat.core.TestGroupedTimeoutModelEnumeration

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

testTwoLits() - Method in class org.sat4j.BugSAT17

testTwoValues() - Method in class org.sat4j.tools.TestGateTranslator

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

testUnitClause() - Method in class org.sat4j.BugSAT34

testUnitClauseInFormulaSat() - Method in class org.sat4j.minisat.core.BugTrivialAssumption

testUnitClauseInFormulaUnsat() - Method in class org.sat4j.minisat.core.BugTrivialAssumption

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

testVerySimpleCase() - Method in class org.sat4j.tools.TestAllMUSes

testVerySimpleCase() - Method in class org.sat4j.tools.TestAllMUSesAndCheckTest

testVerySimpleCase() - Method in class org.sat4j.tools.TestAllMUSesGroupTest

testVoidFormula() - Method in class org.sat4j.minisat.core.BugTrivialAssumption

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

testWithReset() - Method in class org.sat4j.minisat.core.BugReset

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 I J L M N O P Q R S T V