- t -

• toBoogie() : ilasynth::Abstraction , ilasynth::AbstractionWrapper
• toPython() : ilasynth::DistInput
• toZ3() : ilasynth::MemValues
• translate() : ilasynth::BoogieTranslator
• translateBitvectorOp() : ilasynth::VerilogExport
• translateBoolOp() : ilasynth::VerilogExport