Here is a list of all documented functions with links to the class documentation for each member:

- g -

• GenericGlobalSharing() : GenericGlobalSharing
• getAlgoType() : SolverInterface
• getAllClauseCount() : Formula
• getAndIncrementTypeCount() : SolverInterface
• getClause() : ClauseBuffer
• getClauses() : ClauseBuffer, ClauseDatabase, ClauseDatabaseBufferPerEntity, ClauseDatabaseMallob, ClauseDatabasePerSize, ClauseDatabaseSingleBuffer
• getClauseToImport() : Cadical
• getClientCount() : SharingEntity
• getDivisionVariable() : Cadical, GlucoseSyrup, Kissat, KissatINCSolver, KissatMABSolver, Lingeling, MapleCOMSPSSolver, MiniSat, preprocess, SolverInterface, StructuredBVA, YalSat
• getFinalAnalysis() : Cadical, GlucoseSyrup, Kissat, KissatINCSolver, KissatMABSolver, Lingeling, MapleCOMSPSSolver, MiniSat, SolverCdclInterface
• getId() : Sharer
• getIndex() : ClauseDatabaseMallob
• getLbdPartitionFromIndex() : ClauseDatabaseMallob
• getModel() : Cadical, GlucoseSyrup, Kissat, KissatINCSolver, KissatMABSolver, Lingeling, MapleCOMSPSSolver, MiniSat, preprocess, SolverInterface, StructuredBVA, YalSat
• getNbUnsat() : LocalSearchInterface
• getNonUnit() : Formula
• getNonUnitEfficientSize() : Formula
• getNonUnitsCount() : Formula
• getOccurenceList() : Formula
• getOneClause() : ClauseDatabase, ClauseDatabaseBufferPerEntity, ClauseDatabaseMallob, ClauseDatabasePerSize, ClauseDatabaseSingleBuffer
• getOneClauseWrapper() : MallobSharing
• getPreprocessorStatistics() : preprocess, PreprocessorInterface, StructuredBVA
• getRowsCount() : painless::vector2D< T >
• getRowSize() : painless::vector2D< T >
• getSatAssumptions() : Cadical, GlucoseSyrup, Kissat, KissatINCSolver, KissatMABSolver, Lingeling, MapleCOMSPSSolver, MiniSat, SolverCdclInterface
• getSharingId() : SharingEntity
• getSimplifiedFormula() : preprocess, PreprocessorInterface, StructuredBVA
• getSize() : ClauseDatabase, ClauseDatabaseBufferPerEntity, ClauseDatabaseMallob, ClauseDatabasePerSize, ClauseDatabaseSingleBuffer
• getSizeFromIndex() : ClauseDatabaseMallob
• getSleepingTime() : GlobalSharingStrategy, MallobSharing, SharingStrategy
• getSolverId() : SolverInterface
• getSolverType() : SolverCdclInterface
• getSolverTypeCount() : SolverInterface
• getSolverTypeId() : SolverInterface
• getUnitCount() : Formula
• getUnits() : Formula
• getVarCount() : Formula
• getVariablesCount() : Cadical, GlucoseSyrup, Kissat, KissatINCSolver, KissatMABSolver, Lingeling, MapleCOMSPSSolver, MiniSat, preprocess, SolverInterface, StructuredBVA, YalSat
• giveSelection() : ClauseDatabase, ClauseDatabaseBufferPerEntity, ClauseDatabaseMallob, ClauseDatabasePerSize, ClauseDatabaseSingleBuffer
• GlobalSharingStrategy() : GlobalSharingStrategy
• GlucoseSyrup() : GlucoseSyrup