- g -

• gamma() : bm::bit_out< TEncoder > , bm::bit_in< TDecoder > , bm::bit_out< TEncoder >
• gamma_decoder() : bm::gamma_decoder< T, TBitIO >
• gamma_encoder() : bm::gamma_encoder< T, TBitIO >
• gamma_gap_array() : bm::serializer< BV >
• gamma_gap_block() : bm::serializer< BV >
• gap_length_serialization() : bm::serializer< BV >
• gap_level_func() : bm::blocks_manager< Alloc >::gap_level_func
• gap_op_to_bit() : bm::operation_functions< T >
• gap_operation() : bm::operation_functions< T >
• gap_transpose_engine() : bm::gap_transpose_engine< GT, BT, BLOCK_SIZE >
• GeneralError() : GeneralError
• generalizeNogood() : GenuineGuessAndCheckModelGenerator , PluginAtom
• generate() : BaseTopology
• generateFacts() : BaseTopology
• generateModuleCall() : BaseTopology
• generateNextModel() : GenuineGuessAndCheckModelGenerator , GenuinePlainModelGenerator , GenuineWellfoundedModelGenerator , GuessAndCheckModelGenerator , ModelGeneratorBase< InterpretationT > , PlainModelGenerator , WellfoundedModelGenerator , TestModelGeneratorFactory::ModelGenerator
• generateRule() : BaseTopology
• generateRules() : BaseTopology
• GenericDepGraphCompGraphFixture() : GenericDepGraphCompGraphFixture< ProgramCtxFixtureT >
• GenericDepGraphFixture() : GenericDepGraphFixture< ProgramCtxFixtureT >
• GenericOptions() : ASPSolverManager::GenericOptions
• GenPluginAtom1() : GenPluginAtom1
• GenPluginAtom2() : GenPluginAtom2
• GenuineGuessAndCheckModelGenerator() : GenuineGuessAndCheckModelGenerator
• GenuineGuessAndCheckModelGeneratorFactory() : GenuineGuessAndCheckModelGeneratorFactory
• GenuinePlainModelGenerator() : GenuinePlainModelGenerator
• GenuinePlainModelGeneratorFactory() : GenuinePlainModelGeneratorFactory
• GenuineSolver() : GenuineSolver
• GenuineWellfoundedModelGenerator() : GenuineWellfoundedModelGenerator
• GenuineWellfoundedModelGeneratorFactory() : GenuineWellfoundedModelGeneratorFactory
• get() : bm::bit_grabber< unsigned short, 16 > , bm::bit_grabber< unsigned char, 8 > , bm::bit_trans_grabber< T, BPC, BPS > , bm::bit_block_guard< BlocksManager > , bm::bit_grabber< T, BPC > , bm::bit_grabber< unsigned, 32 > , bm::bit_grabber< unsigned short, 16 > , bm::bit_grabber< unsigned char, 8 > , bm::bit_trans_grabber< T, BPC, BPS > , PluginAtom::Answer , bm::bit_block_guard< BlocksManager > , bm::bit_grabber< T, BPC > , bm::bit_grabber< unsigned, 32 >
• get_16() : bm::decoder , bm::decoder_little_endian , bm::decoder , bm::decoder_little_endian
• get_32() : bm::bitblock_get_adapter , bm::decoder_range_adapter< DEC > , bm::decoder , bm::decoder_little_endian , bm::bitblock_get_adapter , bm::decoder_range_adapter< DEC > , bm::decoder , bm::decoder_little_endian
• get_8() : bm::decoder_base
• get_allocator() : bm::bvector< Alloc > , bm::blocks_manager< Alloc > , bm::bvector< Alloc > , bm::blocks_manager< Alloc >
• get_arr_bit() : bm::serial_stream_iterator< DEC >
• get_bit() : bm::bvector< Alloc > , bm::serial_stream_iterator< DEC > , bm::bvector< Alloc > , bm::serial_stream_iterator< DEC >
• get_bit_block() : bm::serial_stream_iterator< DEC >
• get_bit_block_AND() : bm::serial_stream_iterator< DEC >
• get_bit_block_ASSIGN() : bm::serial_stream_iterator< DEC >
• get_bit_block_COUNT() : bm::serial_stream_iterator< DEC >
• get_bit_block_COUNT_A() : bm::serial_stream_iterator< DEC >
• get_bit_block_COUNT_AND() : bm::serial_stream_iterator< DEC >
• get_bit_block_COUNT_B() : bm::serial_stream_iterator< DEC >
• get_bit_block_COUNT_OR() : bm::serial_stream_iterator< DEC >
• get_bit_block_COUNT_SUB_AB() : bm::serial_stream_iterator< DEC >
• get_bit_block_COUNT_SUB_BA() : bm::serial_stream_iterator< DEC >
• get_bit_block_COUNT_XOR() : bm::serial_stream_iterator< DEC >
• get_bit_block_OR() : bm::serial_stream_iterator< DEC >
• get_bit_block_SUB() : bm::serial_stream_iterator< DEC >
• get_bit_block_XOR() : bm::serial_stream_iterator< DEC >
• get_block() : bm::bvector< Alloc > , bm::blocks_manager< Alloc > , bm::bvector< Alloc > , bm::blocks_manager< Alloc >
• get_block_allocator() : bm::mem_alloc< BA, PA >
• get_block_coord() : bm::blocks_manager< Alloc >
• get_block_type() : bm::serial_stream_iterator< DEC >
• get_blocks_manager() : bm::bvector< Alloc >
• get_buf() : bm::bvector_mini< A >
• get_compression_level() : bm::serializer< BV >
• get_first() : bm::bvector< Alloc > , bm::bvector_mini< A > , bm::bvector< Alloc > , bm::bvector_mini< A >
• get_gap_block() : bm::serial_stream_iterator< DEC >
• get_id() : bm::serial_stream_iterator< DEC >
• get_id_count() : bm::serial_stream_iterator< DEC >
• get_new_blocks_strat() : bm::bvector< Alloc >
• get_next() : bm::bvector< Alloc > , bm::bvector_mini< A > , bm::bvector< Alloc > , bm::bvector_mini< A >
• get_pos() : bm::encoder
• get_ptr_allocator() : bm::mem_alloc< BA, PA >
• get_random_array() : bm::random_subset< BV >
• get_random_subset() : bm::random_subset< BV >
• get_rootblock() : bm::blocks_manager< Alloc >
• get_state() : bm::serial_stream_iterator< DEC >
• get_subset() : bm::random_subset< BV >
• get_topblock() : bm::blocks_manager< Alloc >
• getAddressByName() : ModuleTable
• getAllByAddress() : ModuleAtomTable , ModuleTable , OrdinaryAtomTable , PredicateTable , RuleTable
• getArgument() : ComfortAtom
• getArguments() : ComfortAtom
• getArity() : ComfortAtom , MLPSyntaxChecker
• GetArityAtom() : GetArityAtom
• getASPSoftware() : ProgramCtx
• getAssignmentOrderIndex() : CDNLSolver
• getAsStream() : InputProvider
• getAtoms() : TestInterpretation
• getAtomsOfComponent() : AnnotatedGroundProgram
• getAtomToBit() : Interpretation
• getAttribute() : LiberalSafetyChecker
• getAttributeGraph() : LiberalSafetyChecker
• getAuxiliaryAtom() : Registry
• getAuxiliaryConstantSymbol() : Registry
• getAuxiliaryGroundAtomMask() : Registry
• getAuxiliaryVariableSymbol() : Registry
• getAuxInputMask() : ExternalAtom , ExternalAtomMask
• getAuxToEA() : AnnotatedGroundProgram
• getBinderOfRule() : InternalGrounder
• getBoundedVariables() : LiberalSafetyChecker
• getByAddress() : ModuleTable , OrdinaryAtomTable
• getByID() : AggregateAtomTable , BuiltinAtomTable , ExternalAtomTable , ModuleAtomTable , OrdinaryAtomTable , PredicateTable , RuleTable , TermTable
• getByString() : PredicateTable
• getCause() : CDNLSolver
• getClosestBinder() : InternalGrounder
• getCompleteSupportSetsForVerification() : AnnotatedGroundProgram
• getComponentCount() : AnnotatedGroundProgram
• getComponentForUnit() : EvalGraphBuilder
• getComponentGraph() : EvalGraphBuilder
• getComponentGraphRest() : EvalGraphBuilder
• getComponentInfo() : ComponentGraph
• getComponents() : ComponentGraph
• getContradictoryNogoods() : CDNLSolver
• getCustomExternalAtomEvaluationHeuristicsFactory() : PluginAtom , TestSetMinusAtom
• getCustomModelGeneratorFactory() : PluginInterface
• getData() : Set< T >
• getDependencies() : ComponentGraph , DependencyGraph
• getDependencyInfo() : DependencyGraph , ComponentGraph
• getDependingAtoms() : InternalGroundASPSolver
• getDepSCC() : LiberalSafetyChecker
• getDomainExpansionSafeAttributes() : LiberalSafetyChecker
• getEAMask() : AnnotatedGroundProgram
• getErrorMsg() : GeneralError , SyntaxError , PluginError
• getEvalGraph() : EvalGraphBuilder , ModelBuilder< EvalGraphT > , OfflineModelBuilder< EvalGraphT >
• getEvalUnits() : EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >
• getExternalAtomsInTuple() : Registry
• getExternalSupport() : InternalGroundASPSolver
• getExtSourceProperties() : ExternalAtom , PluginAtom
• getFact() : Interpretation
• getFalsifiedAtom() : BaseModelGenerator::VerifyExternalAtomCB
• getFilters() : Configuration
• getFLPNogood() : FLPModelGeneratorBase
• getFreeVars() : InternalGrounder
• getGenuineGrounder() : GenuineSolver
• getGenuineGroundSolver() : GenuineSolver
• getGroundProgram() : AnnotatedGroundProgram , GenuineGuessAndCheckModelGenerator , GenuineGrounder , GenuineSolver , InternalGrounder
• getGroundProgramString() : InternalGrounder
• getGuess() : CDNLSolver
• getHash() : Interpretation , Nogood
• getIDAddressByStorage() : OrdinaryAtomTable
• getIdb() : LiberalSafetyChecker
• getIDByAddress() : OrdinaryAtomTable
• getIDByAuxiliaryConstantSymbol() : Registry
• getIDByAuxiliaryVariableSymbol() : Registry
• getIDByElement() : ModuleAtomTable , RuleTable
• getIDByStorage() : OrdinaryAtomTable
• getIDByString() : OrdinaryAtomTable , PredicateTable , TermTable
• getIDByTuple() : OrdinaryAtomTable
• getIDOfLearningRule() : ExternalLearningHelper
• getIModel() : OnlineModelBuilder< EvalGraphT >::EvalUnitModelBuildingProperties
• getImplicationGraphAsDotString() : InternalGroundASPSolver
• getInconsistencyCause() : CDNLSolver , GenuineGroundSolver , GenuineSolver , InternalGroundASPSolver , SATSolver , ModelGeneratorBase< InterpretationT > , GenuineGuessAndCheckModelGenerator
• getIndexedEAtom() : AnnotatedGroundProgram
• getIndexedEAtoms() : AnnotatedGroundProgram
• getIndexOfEAtom() : AnnotatedGroundProgram
• getInitialNewlyUnfoundedAtomsAfterSetFact() : InternalGroundASPSolver
• getInput() : DLVProcess , Process
• getInputArity() : PluginAtom
• getInputType() : PluginAtom
• getInputTypes() : PluginAtom
• getInsertionIndex() : OrderedSet< T, H >
• getInstance() : SATSolver , GenuineGroundSolver , GenuineSolver , DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolver , GenuineGrounder
• getInstrumentationID() : benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController
• getInt() : EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >
• getInternalGraph() : DependencyGraph , ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT > , ComponentGraph
• getInterpretationWithoutExternalAtomAuxiliaries() : Interpretation
• getLastUFSNogood() : UnfoundedSetCheckerManager
• getLoopNogood() : InternalGroundASPSolver
• getModelCount() : GenuineGroundSolver , InternalGroundASPSolver , GenuineSolver
• getModelGraph() : ModelBuilder< EvalGraphT > , OfflineModelBuilder< EvalGraphT >
• getModels() : ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::EvalUnitModels , ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
• getModuleByName() : ModuleTable
• getModuleName() : ModuleTable
• getName() : FunctionDecomposeAtom
• getNewConstantTerm() : Registry
• getNextAnswerSet() : ConcurrentQueueResults , ASPSolverManager::Results , PreparedResults
• getNextIModel() : ModelBuilder< EvalGraphT > , OfflineModelBuilder< EvalGraphT > , OnlineModelBuilder< EvalGraphT >
• getNextModel() : SATSolver , CDNLSolver , InternalGroundDASPSolver , OrdinaryASPSolver , GenuineGroundSolver , GenuineSolver , InternalGroundASPSolver , DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolver
• getNextOModel() : ModelBuilder< EvalGraphT > , OnlineModelBuilder< EvalGraphT >
• getNode() : DependencyGraph , LiberalSafetyChecker
• getNodeInfo() : DependencyGraph
• getNodes() : DependencyGraph
• getNogood() : NogoodSet , SimpleNogoodContainer , NogoodSet
• getNogoodContainer() : DLVHEX_NAMESPACE_BEGIN::ExternalSolverHelper< GenuineSolver > , DLVHEX_NAMESPACE_BEGIN::ExternalSolverHelper< AnyOrdinaryASPSolverT >
• getNogoodCount() : SimpleNogoodContainer , NogoodSet
• getNongroundProgram() : InternalGrounder
• getNongroundProgramString() : InternalGrounder
• getOModel() : OnlineModelBuilder< EvalGraphT >
• getOption() : Configuration
• getOutput() : DLVProcess , Process
• getOutputArity() : PluginAtom
• getOutputAtom() : ExternalLearningHelper
• getOutputAtoms() : ExternalLearningHelper
• getOutputVariables() : InternalGrounder
• getOutVariablesInID() : Registry
• getPluginData() : ProgramCtx
• getPluginEnvironment() : ProgramCtx
• getPluginName() : PluginInterface
• getPlugins() : PluginContainer
• getPossibleSourceRule() : InternalGroundASPSolver
• getPredecessors() : EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT > , ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
• getPredicate() : ComfortAtom , PluginAtom
• getPredicateArity() : LiberalSafetyChecker
• getPredicateID() : PluginAtom
• getPredicateInputMask() : ExternalAtom
• getPredicateOfAtom() : Registry , InternalGrounder
• getPrintLevels() : Logger
• getProgramCtx() : EvalGraphBuilder
• getProgramMask() : AnnotatedGroundProgram
• getProgramOfComponent() : AnnotatedGroundProgram
• getProvides() : ComponentGraph , DependencyGraph
• getQuotedString() : Term
• getRangeByPredicateID() : ExternalAtomTable , ModuleAtomTable , OrdinaryAtomTable
• getReachableAttributes() : LiberalSafetyChecker
• getRegistry() : PluginAtom , Interpretation
• getReplacements() : PluginAtom
• getResults() : ASPSolverManager::DelegateInterface , ASPSolver::DLVSoftware::Delegate
• getSize() : Table< ValueT, IndexT >
• getSkipProgram() : UnfoundedSetCheckHeuristics
• getStat() : benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController
• getStatistics() : InternalGroundASPSolver , CDNLSolver , GenuineGroundSolver , GenuineSolver
• getStorage() : Interpretation
• getStratumOfRule() : InternalGrounder
• getString() : ComfortTerm
• getStringAfterSeparator() : MLPSyntaxChecker
• getStringBeforeSeparator() : MLPSyntaxChecker
• getStringOption() : Configuration
• getStringRepresentation() : NogoodSet , Nogood
• getSuccessorIntersection() : ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
• getSuccessors() : EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT > , ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
• getTermStringByID() : Registry
• getType() : HexParserModule
• getTypeByAuxiliaryConstantSymbol() : Registry
• getUFSNogood() : UnfoundedSetChecker
• getUFSNogoodReductBased() : UnfoundedSetChecker
• getUFSNogoodUFSBased() : UnfoundedSetChecker
• getUnfoundedSet() : EncodingBasedUnfoundedSetChecker , AssumptionBasedUnfoundedSetChecker , UnfoundedSetCheckerManager , UnfoundedSetChecker , UnfoundedSetCheckerManager , InternalGroundASPSolver
• getUnknown() : PluginAtom::Answer
• getUnquotedString() : ComfortTerm , Term
• getVariable() : ComfortTerm
• getVariablesInID() : Registry
• getVariablesInTuple() : Registry
• getVerifiedAuxiliaries() : ExternalAtomVerificationTree
• getVersionMajor() : PluginInterface
• getVersionMicro() : PluginInterface
• getVersionMinor() : PluginInterface
• getWatchedLiteral() : GenuineGuessAndCheckModelGenerator
• getWeightVector() : AnswerSet
• glen() : bm::blocks_manager< Alloc >
• go_first() : bm::bvector< Alloc >::enumerator
• go_up() : bm::bvector< Alloc >::enumerator
• graphviz_node_id() : EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::Impl
• groundRule() : InternalGrounder
• groundStratum() : InternalGrounder
• grow() : Set< T >
• guardSupportSet() : PluginAtom
• GuessAndCheckModelGenerator() : GuessAndCheckModelGenerator
• GuessAndCheckModelGeneratorFactory() : GuessAndCheckModelGeneratorFactory