Serialized Form

Package org.sat4j.csp

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

serialVersionUID: 1L

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

serialVersionUID: 1L

Package org.sat4j.reader

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

serialVersionUID: 3258130241376368435L

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

serialVersionUID: 1L

Serialized Fields

expectedNbOfConstr

int expectedNbOfConstr

solver

ISolver solver

checkConstrNb

boolean checkConstrNb

formatString

java.lang.String formatString

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

serialVersionUID: 1L

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

serialVersionUID: 1L

Serialized Fields

s

ISolver s

nbVars

int nbVars

nbClauses

int nbClauses

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

serialVersionUID: 1L