|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Package org.sat4j.multicore |
---|
Class org.sat4j.multicore.ManyCore extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
String[] availableSolvers
List<E> solvers
int numberOfSolvers
int winnerId
boolean resultFound
int remainingSolvers
boolean solved
Class org.sat4j.multicore.ManyCorePB extends ManyCore<IPBSolver> implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.multicore.SolverFactory extends ASolverFactory<IPBSolver> implements Serializable |
---|
serialVersionUID: 1L
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |