- s -

• ScTraceStepPtr : ilang::Sc
• ScTraceStepPtrSet : ilang::Sc
• SetT : ilang::MapSet< Key, T >
• SharedStatesSet : ilang::InterIlaUnroller
• smt_formula_vec_t : ilang::InvariantObject
• sort_container_t : ilang::smt::SmtlibInvariantParser
• SortPtr : ilang::Sort
• StateNameSet : ilang::MemoryModel , ilang::Instr , ilang::InterIlaUnroller , ilang::TraceStep
• StateVarList : ilang::InterIlaUnroller
• str_j : ilang::VarExtractor
• str_r : ilang::VarExtractor
• SynthAbsConverterPtr : ilang::SynthAbsConverter
• synthesis_backend_selector : ilang::VerilogVerificationTargetGenerator , ilang::VlgSglTgtGen