- t -

• T_ack_map : CVC3::ExprTransform
• T_generator_map : CVC3::ExprTransform
• T_ITE_map : CVC3::ExprTransform
• T_ITE_vec : CVC3::ExprTransform
• T_name_map : CVC3::ExprTransform
• T_type_map : CVC3::ExprTransform
• TClauses : MiniSat::Derivation
• TCMapPair : CVC3::TheoryUF
• TebleauxMap : CVC3::TheoryArithNew
• TInferences : MiniSat::Derivation
• TInputClauses : MiniSat::Derivation
• TSteps : MiniSat::Inference
• typeMap : CVC3::TheoryQuant

---