File name		Description
AIGReader_decode_int[]		
AIGReader_decode_int[]_PrintWriter		
AIGReader_parseInt_InputStream_char		
AIGReader_parseInstance_InputStream		
AIGReader_safeGet_InputStream		
AIGReader_decode_InputStream		
AIGReader_readAnd_int_int_InputStream_int		
AIGReader_toDimacs_int		
LecteurDimacs_parseInstance_InputStream		
LecteurDimacs_passerCommentaire		on passe les commentaires et on lit le nombre de literaux
LecteurDimacs_checkFormat		
LecteurDimacs_lectureNombreLiteraux		lit le nombre repr?sentant le nombre de literaux
LecteurDimacs_ajouterClauses_char		lit les clauses et les ajoute dans le vecteur donn? en param?tre
LecteurDimacs_passerEspaces		passe tout les caract?res d'espacement (espace ou \n)
LecteurDimacs_nextLine		passe tout les caract?res jusqu? rencontrer une fin de la ligne
LecteurDimacs_manageCommentLine		
LecteurDimacs_nextChiffre		passe tout les caract?re jusqu'? rencontrer un chiffre
LecteurDimacs_decode_int[]		
LecteurDimacs_decode_int[]_PrintWriter		
LecteurDimacs_decodeWithMapping_int[]_PrintWriter		
LecteurDimacs_hasAMapping		
LecteurDimacs_getMapping		
LecteurDimacs_startsMapping		
AAGReader_decode_int[]		
AAGReader_decode_int[]_PrintWriter		
AAGReader_parseInstance_java.io.InputStream		
AAGReader_readAnd_int_int_EfficientScanner		
AAGReader_toDimacs_int		
AAGReader_readOutput_int_EfficientScanner		
AAGReader_readInput_int_EfficientScanner		
GroupedCNFReader_readProblemLine		
GroupedCNFReader_handleLine		
GroupedCNFReader_flushConstraint		
JSONReader_constraintRegexp		
JSONReader_handleConstraint_String		
JSONReader_handleNotHandled_String		
JSONReader_handleClause_String		
JSONReader_getLiterals_String		
JSONReader_handleCard_String		
JSONReader_parseInstance_InputStream		
JSONReader_parseString_String		
JSONReader_decode_int[]		
JSONReader_decode_int[]_PrintWriter		
EfficientScanner_close		
EfficientScanner_skipComments		Skip commented lines.
EfficientScanner_nextInt		To get the next available integer.
EfficientScanner_nextBigInteger		
EfficientScanner_next		
EfficientScanner_skipSpaces		
EfficientScanner_nextLine		
EfficientScanner_skipRestOfLine		
EfficientScanner_eof		
EfficientScanner_currentChar		
Reader_parseInstance_String		This is the usual method to feed a solver with a benchmark.
Reader_getInputStreamFromFilename_String		This method tries to get an input type from a file, whether it is
		compressed or not.
Reader_parseInstance_InputStream		Read a file from a stream.
		
		It is important to note that benchmarks are usually encoded in ASCII, not
		UTF8. As such, the only reasonable way to feed a solver from a stream is
		to use a stream.
Reader_parseInstance_java.io.Reader		Read a file from a reader.
		
		Do not use that method, it is no longer supported.
Reader_decode_int[]		Produce a model using the reader format.
		
		Note that the approach of building a string representation of the model
		may be quite inefficient when the model is rather large. For that reason,
		the preferred way to proceed is to directly output the textual
		representation in a specific PrintWriter using
		{@link #decode(int[], PrintWriter)}
Reader_decode_int[]_PrintWriter		Produce a model using the reader format on a provided printwriter.
Reader_isVerbose		
Reader_setVerbosity_boolean		
Reader_hasAMapping		Does the reader found a mapping.
Reader_getMapping		Returns the mapping found in the problem.
Reader_isUsingMapping		Check if the reader is going to use the mapping available in the file or
		not.
Reader_setUseMapping_boolean		Change the behavior of the solver regarding the mapping
DimacsReader_disableNumberOfConstraintCheck		
DimacsReader_skipComments		Skip comments at the beginning of the input stream.
DimacsReader_readProblemLine		
DimacsReader_readConstrs		
DimacsReader_flushConstraint		
DimacsReader_handleLine		
DimacsReader_parseInstance_InputStream		
DimacsReader_parseInstance		
DimacsReader_decode_int[]		
DimacsReader_decode_int[]_PrintWriter		
DimacsReader_getSolver		
InstanceReader_getDefaultSATReader		
InstanceReader_getEZSATReader		
InstanceReader_getAIGReader		
InstanceReader_getAAGReader		
InstanceReader_getReservedPrefixes		
InstanceReader_parseInstance_String		
InstanceReader_handleFileName_String_String		
InstanceReader_decode_int[]		
InstanceReader_decode_int[]_PrintWriter		
InstanceReader_parseInstance_java.io.InputStream		
InstanceReader_hasAMapping		
InstanceReader_getMapping		
