Serialized Form

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

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES