- t -
- t
: print_stream_container< T >
- temp_block_
: bm::blocks_manager< Alloc >::block_opt_func
, bm::serializer< BV >
, bm::deserializer< BV, DEC >
, bm::blocks_manager< Alloc >
- term
: HexGrammarBase< Iterator, Skipper >
- termExt
: HexGrammarBase< Iterator, Skipper >
- terminationRequest
: ProgramCtx
- terms
: HexGrammarBase< Iterator, Skipper >
, Registry
- testRepetition
: TestPlugin::CtxData
- text
: OrdinaryAtom
- tmatrix_
: bm::gap_transpose_engine< GT, BT, BLOCK_SIZE >
- tmpWatched
: CDNLSolver
- to_
: bm::decoder_range_adapter< DEC >
- top_block_size_
: bm::blocks_manager< Alloc >
- toplevel
: HexGrammarBase< Iterator, Skipper >
- toplevelBuiltin
: HexGrammarBase< Iterator, Skipper >
- toplevelExt
: HexGrammarBase< Iterator, Skipper >
- trueAtoms
: InternalGrounder
- tuple
: Atom
, ComfortAtom
- tuplelevellinear
: ExtSourceProperties
- type
: LiberalSafetyChecker::Attribute
, ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle
, HexParserModule
, DLVHEX_NAMESPACE_BEGIN::AuxiliaryKey
, ComfortTerm