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

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

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

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

L

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

M

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

ManyCore - Class in org.sat4j.multicore

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

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

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

MultiCoreLauncher - Class in org.sat4j.multicore

MultiCoreLauncher() - Constructor for class org.sat4j.multicore.MultiCoreLauncher

N

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

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

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

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

SolverFactory - Class in org.sat4j.multicore

T

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

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