Serialized Form

Package org.sat4j.multicore

Class org.sat4j.multicore.ManyCore extends java.lang.Object implements Serializable

serialVersionUID: 1L

Serialized Fields

java.lang.String[] availableSolvers

ISolver[] solvers

int numberOfSolvers

int winnerId

boolean needToWait

boolean resultFound

int remainingSolvers

Class org.sat4j.multicore.SolverFactory extends ASolverFactory<ISolver> implements Serializable

serialVersionUID: 1L

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES