Serialized Form

Package org.sat4j

Class org.sat4j.AbstractLauncher extends java.lang.Object implements Serializable

serialVersionUID: 1L

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream arg0)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

Serialized Fields

beginTime

long beginTime

exitCode

ExitCode exitCode

reader

Reader reader

solver

ISolver solver

silent

boolean silent

Class org.sat4j.AbstractOptimizationLauncher extends AbstractLauncher implements Serializable

serialVersionUID: 1L

Class org.sat4j.BasicLauncher extends AbstractLauncher implements Serializable

serialVersionUID: 1L

Serialized Fields

factory

ASolverFactory<T extends ISolver> factory

Class org.sat4j.Lanceur extends AbstractLauncher implements Serializable

serialVersionUID: 1L

Serialized Fields

factory

ASolverFactory<T extends ISolver> factory

filename

java.lang.String filename

k

int k