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

- t -

• Tensor() : dlinear::onnx::Tensor
• Term() : dlinear::smt2::Term, dlinear::vnnlib::Term
• theory_bounds() : dlinear::BoundPreprocessor, dlinear::TheorySolver
• theory_col_count() : dlinear::TheorySolver
• theory_col_to_var() : dlinear::TheorySolver
• theory_row_count() : dlinear::TheorySolver
• theory_row_to_lit() : dlinear::TheorySolver
• theory_var() : dlinear::PiecewiseLinearConstraint
• TheorySolver() : dlinear::TheorySolver
• TightenBounds() : dlinear::LeakyReluConstraint, dlinear::PiecewiseLinearConstraint, dlinear::ReluConstraint
• timer() : dlinear::Stats
• TimerBase() : dlinear::TimerBase< T >
• TimerGuard() : dlinear::TimerGuard
• to_string() : dlinear::drake::symbolic::Environment, dlinear::drake::symbolic::Expression, dlinear::drake::symbolic::Formula, dlinear::drake::symbolic::Variables
• ToConfig() : dlinear::ArgParser
• ToEqualVar() : dlinear::onnx::OnnxDriver
• ToSegmentString() : dlinear::IterationStats, dlinear::Stats
• ToSmt2() : dlinear::mps::MpsDriver
• ToString() : dlinear::IterationStats, dlinear::Stats
• trace_parsing() : dlinear::Driver
• trace_scanning() : dlinear::Driver
• Transpose() : dlinear::onnx::Tensor
• TseitinCnfizer() : dlinear::TseitinCnfizer
• type() : dlinear::smt2::Term, dlinear::vnnlib::Term