A C D E F G I L M N O P R S T U

A

addAllClauses(IVec<IVecInt>) - Method in class org.sat4j.multicore.ManyCore

addAtLeast(IVecInt, int) - Method in class org.sat4j.multicore.ManyCore

addAtMost(IVecInt, int) - Method in class org.sat4j.multicore.ManyCore

addBlockingClause(IVecInt) - Method in class org.sat4j.multicore.ManyCore

addClause(IVecInt) - Method in class org.sat4j.multicore.ManyCore

addPseudoBoolean(IVecInt, IVec<BigInteger>, boolean, BigInteger) - Method in class org.sat4j.multicore.ManyCorePB

C

clearLearntClauses() - Method in class org.sat4j.multicore.ManyCore

D

defaultSolver() - Method in class org.sat4j.multicore.SolverFactory

E

expireTimeout() - Method in class org.sat4j.multicore.ManyCore

F

findModel() - Method in class org.sat4j.multicore.ManyCore

findModel(IVecInt) - Method in class org.sat4j.multicore.ManyCore

G

getLogPrefix() - Method in class org.sat4j.multicore.ManyCore

getObjectiveFunction() - Method in class org.sat4j.multicore.ManyCorePB

getSearchListener() - Method in class org.sat4j.multicore.ManyCore

getStat() - Method in class org.sat4j.multicore.ManyCore

getTimeout() - Method in class org.sat4j.multicore.ManyCore

getTimeoutMs() - Method in class org.sat4j.multicore.ManyCore

I

instance() - Static method in class org.sat4j.multicore.SolverFactory

isDBSimplificationAllowed() - Method in class org.sat4j.multicore.ManyCore

isSatisfiable() - Method in class org.sat4j.multicore.ManyCore

isSatisfiable(IVecInt, boolean) - Method in class org.sat4j.multicore.ManyCore

isSatisfiable(boolean) - Method in class org.sat4j.multicore.ManyCore

isSatisfiable(IVecInt) - Method in class org.sat4j.multicore.ManyCore

isVerbose() - Method in class org.sat4j.multicore.ManyCore

L

lightSolver() - Method in class org.sat4j.multicore.SolverFactory

M

main(String[]) - Static method in class org.sat4j.multicore.MultiCoreLauncher

ManyCore<S extends ISolver> - Class in org.sat4j.multicore

ManyCore(ASolverFactory<S>, String...) - Constructor for class org.sat4j.multicore.ManyCore

ManyCorePB - Class in org.sat4j.multicore

ManyCorePB(ASolverFactory<IPBSolver>, String...) - Constructor for class org.sat4j.multicore.ManyCorePB

model() - Method in class org.sat4j.multicore.ManyCore

model(int) - Method in class org.sat4j.multicore.ManyCore

MultiCoreLauncher - Class in org.sat4j.multicore

N

nConstraints() - Method in class org.sat4j.multicore.ManyCore

newManyCore() - Static method in class org.sat4j.multicore.SolverFactory

newManyCorePB() - Static method in class org.sat4j.multicore.SolverFactory

newVar() - Method in class org.sat4j.multicore.ManyCore

newVar(int) - Method in class org.sat4j.multicore.ManyCore

nextFreeVarId(boolean) - Method in class org.sat4j.multicore.ManyCore

numberOfSolvers - Variable in class org.sat4j.multicore.ManyCore

nVars() - Method in class org.sat4j.multicore.ManyCore

O

onFinishWithAnswer(boolean, boolean, int) - Method in class org.sat4j.multicore.ManyCore

org.sat4j.multicore - package org.sat4j.multicore

P

printInfos(PrintWriter, String) - Method in class org.sat4j.multicore.ManyCore

printStat(PrintStream, String) - Method in class org.sat4j.multicore.ManyCore

Deprecated.

printStat(PrintWriter, String) - Method in class org.sat4j.multicore.ManyCore

R

removeConstr(IConstr) - Method in class org.sat4j.multicore.ManyCore

removeSubsumedConstr(IConstr) - Method in class org.sat4j.multicore.ManyCore

reset() - Method in class org.sat4j.multicore.ManyCore

S

setDBSimplificationAllowed(boolean) - Method in class org.sat4j.multicore.ManyCore

setExpectedNumberOfClauses(int) - Method in class org.sat4j.multicore.ManyCore

setLogPrefix(String) - Method in class org.sat4j.multicore.ManyCore

setObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.multicore.ManyCorePB

setSearchListener(SearchListener) - Method in class org.sat4j.multicore.ManyCore

setTimeout(int) - Method in class org.sat4j.multicore.ManyCore

setTimeoutMs(long) - Method in class org.sat4j.multicore.ManyCore

setTimeoutOnConflicts(int) - Method in class org.sat4j.multicore.ManyCore

setVerbose(boolean) - Method in class org.sat4j.multicore.ManyCore

SolverFactory - Class in org.sat4j.multicore

solvers - Variable in class org.sat4j.multicore.ManyCore

T

toString(String) - Method in class org.sat4j.multicore.ManyCore

U

unsatExplanation() - Method in class org.sat4j.multicore.ManyCore

A C D E F G I L M N O P R S T U