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.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

String formatString

scanner

org.sat4j.reader.EfficientScanner scanner

literals

org.sat4j.specs.IVecInt literals

Class org.sat4j.reader.EfficientScanner extends Object implements Serializable

serialVersionUID:

1L

Serialized Fields

commentChar

char commentChar

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

serialVersionUID:

1L

Serialized Fields

numberOfComponents

int numberOfComponents

groupSolver

org.sat4j.specs.IGroupSolver groupSolver

currentComponentIndex

int currentComponentIndex

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 Exception implements Serializable

serialVersionUID:

1L