Serialized Form

Package org.sat4j

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

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

org.sat4j.ExitCode exitCode

reader

org.sat4j.reader.Reader reader

solver

org.sat4j.specs.ISolver solver

silent

boolean silent

Class org.sat4j.AbstractOptimizationLauncher extends org.sat4j.AbstractLauncher implements Serializable

Class org.sat4j.BasicLauncher extends org.sat4j.AbstractLauncher implements Serializable

serialVersionUID: 1L

Class org.sat4j.Lanceur extends org.sat4j.AbstractLauncher implements Serializable

serialVersionUID: 1L

Serialized Fields

factory

org.sat4j.core.ASolverFactory<T extends org.sat4j.specs.ISolver> factory

filename

java.lang.String filename