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.DimacsReader extends Reader implements Serializable

serialVersionUID: 1L

Serialized Fields

expectedNbOfConstr

int expectedNbOfConstr

solver

ISolver solver

checkConstrNb

boolean checkConstrNb

formatString

String formatString

scanner

EfficientScanner scanner

literals

IVecInt literals

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

serialVersionUID: 1L

Serialized Fields

commentChar

char commentChar

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

serialVersionUID: 1L

Serialized Fields

numberOfComponents

int numberOfComponents

hlxplain

HighLevelXplain<T extends ISolver> hlxplain

currentComponentIndex

int currentComponentIndex

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

serialVersionUID: 1L



Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.