Serialized Form
serialVersionUID: 1L
serialVersionUID: 1L
serialVersionUID: 1L
expectedNbOfConstr
int expectedNbOfConstr
solver
ISolver solver
checkConstrNb
boolean checkConstrNb
formatString
String formatString
scanner
EfficientScanner scanner
literals
IVecInt literals
serialVersionUID: 1L
commentChar
char commentChar
serialVersionUID: 1L
numberOfComponents
int numberOfComponents
hlxplain
HighLevelXplain<T extends ISolver> hlxplain
currentComponentIndex
int currentComponentIndex
serialVersionUID: 1L
s
ISolver s
nbVars
int nbVars
nbClauses
int nbClauses
serialVersionUID: 1L
Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.