- b -

• BODYATOM : HexParserModule
• BRAVE : QueryPlugin::CtxData
• builtin : InternalGrounder

- c -

• CAUTIOUS : QueryPlugin::CtxData
• COMPONENT_EVALUATION : Configuration
• CONSTANT : PluginAtom

- d -

• DEFAULT : QueryPlugin::CtxData
• DUMP_CONVERTED_PROGRAM : Configuration
• DUMP_DEPENDENCY_GRAPH : Configuration
• DUMP_OPTIMIZED_PROGRAM : Configuration
• DUMP_OUTPUT : Configuration
• DUMP_PARSED_PROGRAM : Configuration
• DUMP_REWRITTEN_PROGRAM : Configuration

- e -

• e_bit_block : bm::serial_stream_iterator< DEC >
• e_blocks : bm::serial_stream_iterator< DEC >
• e_gap_block : bm::serial_stream_iterator< DEC >
• e_list_ids : bm::serial_stream_iterator< DEC >
• e_one_blocks : bm::serial_stream_iterator< DEC >
• e_unknown : bm::serial_stream_iterator< DEC >
• e_zero_blocks : bm::serial_stream_iterator< DEC >
• ExtBlRewrite : AggregatePlugin::CtxData
• External : LiberalSafetyChecker::Attribute
• ExtRewrite : AggregatePlugin::CtxData

- f -

• FirstOrder : DLVResultParser
• full : InternalGrounder

- g -

• GRAPH_PROCESSOR : Configuration

- h -

• HEADATOM : HexParserModule
• HO : DLVResultParser

- i -

• INT : ComfortTerm

- m -

• MODEL_GENERATOR : Configuration

- n -

• n_columns : bm::tmatrix< T, ROWS, COLS >
• n_rows : bm::tmatrix< T, ROWS, COLS >
• none : InternalGrounder

- o -

• opt_compress : bm::bvector< Alloc >
• opt_free_0 : bm::bvector< Alloc >
• opt_free_01 : bm::bvector< Alloc >
• Ordinary : LiberalSafetyChecker::Attribute , UnfoundedSetChecker

- p -

• PLUGIN_LOADING : Configuration
• PREDICATE : PluginAtom
• PROFILING : Configuration

- r -

• ret_op_y_eq_x : InternalGrounder

- s -

• SAFETY_ANALYSIS : Configuration
• Simplify : AggregatePlugin::CtxData
• STR : ComfortTerm

- t -

• TERM : HexParserModule
• TERM_BUILTIN_ADD : ID
• TERM_BUILTIN_AGGANY : ID
• TERM_BUILTIN_AGGAVG : ID
• TERM_BUILTIN_AGGCOUNT : ID
• TERM_BUILTIN_AGGMAX : ID
• TERM_BUILTIN_AGGMIN : ID
• TERM_BUILTIN_AGGSUM : ID
• TERM_BUILTIN_AGGTIMES : ID
• TERM_BUILTIN_DIV : ID
• TERM_BUILTIN_EQ : ID
• TERM_BUILTIN_GE : ID
• TERM_BUILTIN_GT : ID
• TERM_BUILTIN_INT : ID
• TERM_BUILTIN_LE : ID
• TERM_BUILTIN_LT : ID
• TERM_BUILTIN_MOD : ID
• TERM_BUILTIN_MUL : ID
• TERM_BUILTIN_NE : ID
• TERM_BUILTIN_SUB : ID
• TERM_BUILTIN_SUCC : ID
• TOPLEVEL : HexParserModule
• TUPLE : PluginAtom

- w -

• WithExt : UnfoundedSetChecker

- x -

• x_op_ret_eq_y : InternalGrounder
• x_op_y_eq_ret : InternalGrounder