Serialized Form

Package org.sat4j.csp

Class org.sat4j.csp.CSPLauncher extends org.sat4j.AbstractLauncher implements Serializable

serialVersionUID: 1L

Class org.sat4j.csp.SolverFactory extends org.sat4j.core.ASolverFactory<org.sat4j.specs.ISolver> implements Serializable

serialVersionUID: 1L

Package org.sat4j.reader

Class org.sat4j.reader.CardDimacsReader extends org.sat4j.reader.DimacsReader implements Serializable

serialVersionUID: 3258130241376368435L

Class org.sat4j.reader.DimacsReader extends org.sat4j.reader.Reader implements Serializable

serialVersionUID: 1L

Serialized Fields

expectedNbOfConstr

int expectedNbOfConstr

solver

org.sat4j.specs.ISolver solver

checkConstrNb

boolean checkConstrNb

formatString

java.lang.String formatString

Class org.sat4j.reader.ExtendedDimacsReader extends org.sat4j.reader.DimacsReader implements Serializable

serialVersionUID: 1L

Class org.sat4j.reader.LecteurDimacs extends org.sat4j.reader.Reader implements Serializable

serialVersionUID: 1L

Serialized Fields

s

org.sat4j.specs.ISolver s

nbVars

int nbVars

nbClauses

int nbClauses

Class org.sat4j.reader.ParseFormatException extends java.lang.Exception implements Serializable

serialVersionUID: 1L